1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/assert.sail b/test/mono/assert.sail
index ea286e93..46892956 100644
--- a/test/mono/assert.sail
+++ b/test/mono/assert.sail
@@ -24,7 +24,7 @@ function f(n,m) = {
 val f' : forall 'n 'm. (atom('n), atom('m)) -> unit effect {escape}
 
 function f'(n,m) = {
-    assert(constraint(('n = 8 | 'n = 16) & 'm < 'n), "nconstraint");
+    assert(constraint(('n == 8 | 'n == 16) & 'm < 'n), "nconstraint");
     let 'p = 2 * n in
     let x : bits('p) = replicate_bits(0b0,'p) in
     ()
@@ -54,4 +54,4 @@ function run () = {
     f'(8,3);
     g(16,3);
     h(8,3);
-}
-\ No newline at end of file
+}