*shakes fist at Unicode*

GaloisInc · Nov 7, 2023 · 043b62d · 043b62d
1 parent 2e79a1e
commit 043b62d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/intTests/test_mir_unsafe_assume_spec/test.saw b/intTests/test_mir_unsafe_assume_spec/test.saw
@@ -84,7 +84,7 @@ let side_spec_2 = do {
   mir_return (mir_term a);
 };
 
-// This spec is erroneous—see the comments below in the "Avoid unsoundness"
+// This spec is erroneous. See the comments below in the "Avoid unsoundness"
 // part of the test.
 let foo_spec = do {
   x <- mir_fresh_var "x" mir_u32;

diff --git a/intTests/test_mir_unsafe_assume_spec_statics/test.saw b/intTests/test_mir_unsafe_assume_spec_statics/test.saw
@@ -23,7 +23,7 @@ let side_spec_2 = do {
   mir_return (mir_term a_init);
 };
 
-// This spec is erroneous—see the comments below in the "Avoid unsoundness"
+// This spec is erroneous. See the comments below in the "Avoid unsoundness"
 // part of the test.
 let foo_spec = do {
   let a_static = mir_static "test::A";