diff --git a/collects/deinprogramm/signature/signature-syntax.rkt b/collects/deinprogramm/signature/signature-syntax.rkt
index e8962846ec..5bf8b6e758 100644
--- a/collects/deinprogramm/signature/signature-syntax.rkt
+++ b/collects/deinprogramm/signature/signature-syntax.rkt
@@ -11,8 +11,7 @@
 	 scheme/promise
 	 (for-syntax scheme/base)
 	 (for-syntax syntax/stx)
-	 (for-syntax stepper/private/shared)
-	 (only-in lang/private/teachprims teach-equal?))
+	 (for-syntax stepper/private/shared))
 
 (define-for-syntax (phase-lift stx)
   (with-syntax ((?stx stx))
@@ -50,7 +49,7 @@
 			   (syntax->list #'((?temp ?exp) ...)))))
        #'(let ((?temp ?exp) ...)
 	   ?check ...
-	   (make-case-signature '?name (list ?temp ...) teach-equal? ?stx)))))
+	   (make-case-signature '?name (list ?temp ...) equal? ?stx)))))
     ((predicate ?exp)
      (with-syntax ((?stx (phase-lift stx))
 		   (?name name))
diff --git a/collects/lang/private/signature-syntax.rkt b/collects/lang/private/signature-syntax.rkt
index 22a02dcc0e..6ec3ac1d95 100644
--- a/collects/lang/private/signature-syntax.rkt
+++ b/collects/lang/private/signature-syntax.rkt
@@ -11,7 +11,6 @@
 	 (for-syntax scheme/base)
 	 (for-syntax syntax/stx)
 	 (for-syntax stepper/private/shared)
-	 (only-in lang/private/teachprims teach-equal?)
 	 (for-syntax "firstorder.rkt"))
 
 (define-for-syntax (phase-lift stx)
@@ -50,7 +49,7 @@
 			   (syntax->list #'((?temp ?exp) ...)))))
        #'(let ((?temp ?exp) ...)
 	   ?check ...
-	   (make-case-signature '?name (list ?temp ...) teach-equal? ?stx)))))
+	   (make-case-signature '?name (list ?temp ...) equal? ?stx)))))
     ((predicate ?exp)
      (with-syntax ((?stx (phase-lift stx))
 		   (?name name))