From 44b618547f3b17982bb0282b33813ba8c3c5a305 Mon Sep 17 00:00:00 2001
From: Nat Karmios <nat@karmios.com>
Date: Thu, 18 Apr 2024 15:37:00 +0100
Subject: [PATCH] Update Matcher.ml

---
 GillianCore/engine/Abstraction/Matcher.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/GillianCore/engine/Abstraction/Matcher.ml b/GillianCore/engine/Abstraction/Matcher.ml
index 5e51b388..e75c35ac 100644
--- 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