1 files changed, 2 insertions, 2 deletions
diff --git a/test/mono/exint.sail b/test/mono/exint.sail
index 639e7d45..855b689c 100644
--- a/test/mono/exint.sail
+++ b/test/mono/exint.sail
@@ -39,7 +39,7 @@ function test(x) = {
     0b00 => n = 1,
     0b01 => n = 2,
     0b10 => n = 4,
-    0b11 => ()
+    0b11 => n = 8
   };
   let 'n2 = ex_int(n) in {
     assert(constraint('n2 >= 0));
@@ -54,4 +54,4 @@ function run () = {
   test(0b01);
   test(0b10);
   test(0b11);
-}
-\ No newline at end of file
+}