From 06c523d1692aae6fffcff2d0e617994d4b04bc55 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 28 Jul 2017 15:05:43 +0200
Subject: Removes repetitions, prepares for skol. of sol.

---
 instr-to-kodkod/src/Main.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'instr-to-kodkod/src/Main.java')

diff --git a/instr-to-kodkod/src/Main.java b/instr-to-kodkod/src/Main.java
index b835c28..d8393bd 100644
--- a/instr-to-kodkod/src/Main.java
+++ b/instr-to-kodkod/src/Main.java
@@ -76,7 +76,7 @@ public class Main
             + "\"..."
          );
 
-         return pro.generate_formula();
+         return pro.generate_base_formula();
       }
       catch (final IOException e)
       {
-- 
cgit v1.2.3-70-g09d2