diff --git a/os2.rkt b/os2.rkt
index 17f8b45..7c7e379 100644
--- a/os2.rkt
+++ b/os2.rkt
@@ -39,7 +39,10 @@
 	 ;; Reexports from unify.rkt for convenience
 	 wild
 	 wild?
-	 non-wild?)
+	 non-wild?
+
+	 ;; Reexports from racket/match for convenience
+	 (all-from-out racket/match))
 
 ;; Endpoints are the units of deduplication.
 ;; Flows (in canonical form) are the units of presence.