From be8874c6b281fd318ccc53fe8b5a3952ed847304 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Thu, 12 Oct 2023 07:43:38 +0200 Subject: [PATCH] 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`. --- src/lib/reasoners/intervalCalculus.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/src/lib/reasoners/intervalCalculus.ml b/src/lib/reasoners/intervalCalculus.ml index 2ad4c06ba..bad39f9b1 100644 --- 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