From ff6a760c28d16a42bbd09eb29b5b13b4a20778dd Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Wed, 30 May 2018 15:42:34 +0200
Subject: Considerable speed boost.

---
 src/hastabel2idp/idp/Theory.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java
index c706e7d..db55a42 100644
--- a/src/hastabel2idp/idp/Theory.java
+++ b/src/hastabel2idp/idp/Theory.java
@@ -22,6 +22,8 @@ public class Theory
    {
       out.write("theory T:V {");
       out.insert_newline();
+      out.write("   {");
+      out.insert_newline();
    }
 
    public void add_predicate
@@ -33,7 +35,7 @@ public class Theory
    {
       boolean is_first;
 
-      out.write("   ");
+      out.write("      ");
 
       for (final Variable argument: arguments)
       {
@@ -61,7 +63,7 @@ public class Theory
          out.write(argument.get_name());
       }
 
-      out.write(") <=> (");
+      out.write(") <- (");
       out.write(formula.toString());
       out.write(").");
       out.insert_newline();
@@ -69,6 +71,8 @@ public class Theory
 
    public void write_footer ()
    {
+      out.write("   }");
+      out.insert_newline();
       out.write("}");
       out.insert_newline();
    }
-- 
cgit v1.2.3-70-g09d2