...

2 files changed, 5 insertions, 3 deletions

diff --git a/99_general.txt b/99_general.txt
index 9dee3df..4f0e7c7 100644
--- a/99_general.txt
+++ b/99_general.txt
@@ -1,4 +1,4 @@
 procedure main(){
-	printmodels(allmodels(T,S,Vout))
+	printmodels(onemodel(T,S,Vout))
 }
 
diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java
index 52f4ee4..282c518 100644
--- a/src/hastabel2idp/idp/Theory.java
+++ b/src/hastabel2idp/idp/Theory.java
@@ -33,6 +33,8 @@ public class Theory
    {
       boolean is_first;
 
+      out.write("   ");
+
       for (final Variable argument: arguments)
       {
          out.write("!");
@@ -59,9 +61,9 @@ public class Theory
          out.write(argument.get_name());
       }
 
-      out.write(") <=> ");
+      out.write(") <=> (");
       out.write(hastabel2idp.idp.lang.Formula.convert(formula).toString());
-      out.write(".");
+      out.write(").");
       out.insert_newline();
    }