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

andrewcropper · andrewcropper · commit b3b5c440956e · 2024-02-09T15:10:53.000Z
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:
