From 672f828c82cc58d69bd90eb6cb5050104ffc39f1 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 22 Aug 2021 01:44:37 -0400
Subject: [PATCH] perf: return to default-pol=true

previous commit fixed sign error (move from `negated` to `same_sign`
so restore good behavior
---
 src/sat/Solver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/Solver.ml b/src/sat/Solver.ml
index 4bbfecb8..339c2c26 100644
--- a/src/sat/Solver.ml
+++ b/src/sat/Solver.ml
@@ -435,7 +435,7 @@ module Make(Plugin : PLUGIN)
     end
 
     (* allocate new variable *)
-    let alloc_var_uncached_ ?default_pol:(pol=false) self (form:lit) : var =
+    let alloc_var_uncached_ ?default_pol:(pol=true) self (form:lit) : var =
       let {v_count; v_of_lit; v_level; v_heap_idx; v_weight;
            v_reason; v_seen; v_default_polarity;
            a_is_true; a_seen; a_watched; a_form; c_store=_;