Merge branch 'main' of github.com:logic-and-learning-lab/Popper

logic-and-learning-lab · Feb 19, 2024 · 1d7e667 · 1d7e667
2 parents cdabf9a + b3b5c44
commit 1d7e667
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/popper-ilp b/bin/popper-ilp
@@ -7,7 +7,7 @@ if __name__ == '__main__':
     settings = Settings(cmd_line=True)
     prog, score, stats = learn_solution(settings)
     if prog != None:
-        print_prog_score(prog, score)
+        print_prog_score(prog, score, settings.noisy)
     else:
         print('NO SOLUTION')
     if settings.show_stats: