Improved test.

diff --git a/tests/70_check_and_bind.ml b/tests/70_check_and_bind.ml
index 14ad836..88685ac 100644 (file)
--- a/tests/70_check_and_bind.ml
+++ b/tests/70_check_and_bind.ml
@@ -9,8 +9,8 @@ let bits = (BITSTRING { 101 : 16; 202 : 16 })
 
 let () =
   bitmatch bits with
-  | { i : 16 : check (i > 100), bind (i*4);
-      j : 16 : check (j > 200) } ->
+  | { i : 16 : check (i = 101), bind (i*4);
+      j : 16 : check (j = 202) } ->
       if i <> 404 || j <> 202 then
        failwith (sprintf "70_check_and_bind: failed: %d %d" i j)
   | { _ } ->