fixed bug where we don't reorder thresholds

lab-v2 · Aug 24, 2024 · b81e9f8 · b81e9f8
1 parent 9b06584
commit b81e9f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pyreason/scripts/utils/reorder_clauses.py b/pyreason/scripts/utils/reorder_clauses.py
@@ -26,4 +26,5 @@ def reorder_clauses(rule):
         reordered_clauses_map[new_index] = original_index
 
     rule.set_clauses(reordered_clauses)
+    rule.set_thresholds(reordered_thresholds)
     return rule, reordered_clauses_map