small bug

LPCIC · Dec 4, 2023 · da78aa5 · da78aa5
1 parent 1dd5442
commit da78aa5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/discrimination_tree.ml b/src/discrimination_tree.ml
@@ -37,7 +37,7 @@ let () = assert (k_of (mkConstant ~safe:false ~-17 0) == kConstant)
 let () = assert (k_of mkVariable == kVariable)
 let () = assert (k_of mkOther == kOther)
 let isVariable x = x == mkVariable
-let isOther x = x == kOther
+let isOther x = x == mkOther
 let isInput x = x == mkInputMode
 let isOutput x = x == mkOutputMode