| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instance-calculator/src/Main.java')
| -rw-r--r-- | instance-calculator/src/Main.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/instance-calculator/src/Main.java b/instance-calculator/src/Main.java index a23da06..6fc950f 100644 --- a/instance-calculator/src/Main.java +++ b/instance-calculator/src/Main.java @@ -37,7 +37,6 @@ public class Main } create_instances(); - Instances.write_predicates(); OutputFile.close_all(); } |