Update Matcher.ml

GillianPlatform · Apr 18, 2024 · 44b6185 · 44b6185
1 parent f8c7f54
commit 44b6185
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/GillianCore/engine/Abstraction/Matcher.ml b/GillianCore/engine/Abstraction/Matcher.ml
@@ -340,7 +340,6 @@ module Make (State : SState.S) :
 
   let cons_pure (state : state_t) (f : Formula.t) : cons_pure_result =
     if !Config.under_approximation then
-      (* [sat_check_f] returns the model in case of SAT, None otherwise. *)
       match State.assume_a ~matching:true state [ f ] with
       | Some state -> Success state
       | None -> Vanish