diff --git a/collects/tests/typed-scheme/fail/back-and-forth.rkt b/collects/tests/typed-scheme/fail/back-and-forth.rkt
index eac8be7d..cde56481 100644
--- a/collects/tests/typed-scheme/fail/back-and-forth.rkt
+++ b/collects/tests/typed-scheme/fail/back-and-forth.rkt
@@ -1,5 +1,5 @@
 #;
-(exn-pred exn:fail:contract? #rx".*violator.*contract.*\\(-> Number Number\\).*f.*")
+(exn-pred exn:fail:contract? #rx".*contradiction.*contract.*\\(-> Number Number\\).*f.*")
 
 #lang scheme/load
 
diff --git a/collects/tests/typed-scheme/fail/pr10594.rkt b/collects/tests/typed-scheme/fail/pr10594.rkt
index 41eb8501..c411152f 100644
--- a/collects/tests/typed-scheme/fail/pr10594.rkt
+++ b/collects/tests/typed-scheme/fail/pr10594.rkt
@@ -1,5 +1,5 @@
 #;
-(exn-pred exn:fail:contract? #rx".*U broke the contract.*")
+(exn-pred exn:fail:contract? #rx".*contradiction.*implementation of 'U.*")
 #lang scheme/load
 
 (module T typed-scheme