diff --git a/collects/typed-scheme/rep/rep-utils.rkt b/collects/typed-scheme/rep/rep-utils.rkt
index da130ca3..6c21b03c 100644
--- a/collects/typed-scheme/rep/rep-utils.rkt
+++ b/collects/typed-scheme/rep/rep-utils.rkt
@@ -19,7 +19,7 @@
           syntax/stx
           scheme/contract
 	  racket/syntax
-          (rename-in (except-in (utils utils stxclass-util) bytes byte-regexp regexp byte-pregexp #;pregexp)
+          (rename-in (except-in (utils utils stxclass-util) bytes byte-regexp regexp byte-pregexp pregexp)
                      [id* id]
                      [keyword* keyword])))
 
diff --git a/collects/typed-scheme/typecheck/tc-expr-unit.rkt b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
index 5e39f203..d02621db 100644
--- a/collects/typed-scheme/typecheck/tc-expr-unit.rkt
+++ b/collects/typed-scheme/typecheck/tc-expr-unit.rkt
@@ -75,7 +75,8 @@
     [i:bytes -Bytes]
     [i:byte-pregexp -Byte-PRegexp]
     [i:byte-regexp -Byte-Regexp]
-    [i:regexp -Regexp]
+    [i:pregexp -PRegexp]
+    [i:regexp  -Regexp]
     [(i ...)
      (match expected
        [(Mu: var (Union: (list (Value: '()) (Pair: elem-ty (F: var)))))
diff --git a/collects/typed-scheme/utils/stxclass-util.rkt b/collects/typed-scheme/utils/stxclass-util.rkt
index 627a41c3..f939bfae 100644
--- a/collects/typed-scheme/utils/stxclass-util.rkt
+++ b/collects/typed-scheme/utils/stxclass-util.rkt
@@ -39,6 +39,7 @@
 (define-pred-stxclass atom atom?)
 (define-pred-stxclass byte-pregexp byte-pregexp?)
 (define-pred-stxclass byte-regexp byte-regexp?)
+(define-pred-stxclass pregexp pregexp?)
 (define-pred-stxclass regexp regexp?)
 (define-pred-stxclass bytes bytes?)
 (define-pred-stxclass id symbol?)