diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss
index a15b483871..36bd04e02e 100644
--- a/collects/redex/private/reduction-semantics.ss
+++ b/collects/redex/private/reduction-semantics.ss
@@ -192,6 +192,8 @@
        (identifier? #'lang)
        (let-values ([(args domain-pattern)
                      (syntax-case #'(w/domain-args ...) ()
+                       ;; commented out this case to diable domain specifications
+                       #;
                        [(#:domain pat args ...)
                         (values (syntax (args ...)) #'pat)]
                        [else
diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 7d3cd917e3..321693facb 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -486,10 +486,8 @@ is signaled. If no patterns match, an error is signaled.
 }
 
 @defform/subs[#:literals (--> fresh side-condition where) 
-              (reduction-relation language domain reduction-case ...)
-              ((domain (code:line) 
-	               (code:line #:domain pattern))
-               (reduction-case (--> pattern exp extras ...))
+              (reduction-relation language reduction-case ...)
+              ((reduction-case (--> pattern exp extras ...))
                (extras name
                        (fresh <fresh-clause> ...)
                        (side-condition <guard> ...)