From 6df35161b038cf91308b79f072e8532bb22e4ba6 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 16 Feb 2021 18:06:38 -0500
Subject: [PATCH] typo

---
 src/core/Internal.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/Internal.ml b/src/core/Internal.ml
index 4076ae6f..dc01b58c 100644
--- a/src/core/Internal.ml
+++ b/src/core/Internal.ml
@@ -1987,7 +1987,7 @@ module Make(Plugin : PLUGIN)
         assert (st.elt_head = st.th_head);
         if Vec.size st.trail = nb_elt st.st then raise_notrace E_sat;
         if n_of_conflicts > 0 && !conflictC >= n_of_conflicts then (
-          Log.debug info "(@[sat.restarting@])";
+          Log.debug info "(sat.restarting)";
           cancel_until st 0;
           raise_notrace Restart
         );