silly mistake in utils

logic-and-learning-lab · Oct 29, 2023 · e76ceff · e76ceff
1 parent c09eb44
commit e76ceff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/popper/util.py b/popper/util.py
@@ -218,7 +218,7 @@ def mdl_score(fn, fp, size):
 
 def order_rule(rule, settings=None):
 
-    if settings and settings.bkcons:
+    if settings and settings.datalog:
         return order_rule_datalog(rule, settings)
 
     head, body = rule