diff --git a/src/lib/getopts.rs b/src/lib/getopts.rs
index c6850a0125ee..89394c03570c 100644
--- a/src/lib/getopts.rs
+++ b/src/lib/getopts.rs
@@ -23,6 +23,8 @@ export result;
 export success;
 export failure;
 
+export match;
+
 export fail_;
 export fail_str;