unsigned_term for bumping

SRI-CSL · Jan 5, 2024 · 6c38451 · 6c38451
1 parent bef9601
commit 6c38451
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/mcsat/uf/uf_plugin.c b/src/mcsat/uf/uf_plugin.c
@@ -346,7 +346,7 @@ void uf_plugin_learn(plugin_t* plugin, trail_token_t* prop) {
     term_t t;
     uint32_t i;
     for (i = 0; i < uf->conflict.size; ++i) {
-      t = uf->conflict.data[i];
+      t = unsigned_term(uf->conflict.data[i]);
       int_mset_add(&uf->tmp, t);
     }
     uf_plugin_bump_terms_and_reset(uf, &uf->tmp);
@@ -411,7 +411,7 @@ void uf_plugin_propagate(plugin_t* plugin, trail_token_t* prop) {
       // extract terms used in the conflict
       uint32_t i;
       for (i = 0; i < uf->conflict.size; ++i) {
-        t = uf->conflict.data[i];
+        t = unsigned_term(uf->conflict.data[i]);
 	int_mset_add(&uf->tmp, t);
       }
       uf_plugin_bump_terms_and_reset(uf, &uf->tmp);