Remove misleading comment

This comment stating that `Sim_Wrap.case_split` is not used is misleading, since it is actually used in `default_case_split`.
OCamlPro · Oct 12, 2023 · be8874c · be8874c
1 parent 69857ec
commit be8874c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/lib/reasoners/intervalCalculus.ml b/src/lib/reasoners/intervalCalculus.ml
@@ -231,7 +231,6 @@ module Sim_Wrap = struct
       assert (c <= 0); (* because simplex says sat *)
       if c = 0 then None else Some (Q.sub x.v a.v)
 
-  (* not used for the moment *)
   let case_split =
     let gen_cs x n s orig =
       if get_debug_fm () then