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

logic-and-learning-lab · Feb 9, 2024 · b3b5c44 · b3b5c44
2 parents 6f599de + 53034bc
commit b3b5c44
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: