From 1a64a73c47394dab7b10e6fd87fb8390df3ad89c Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Mon, 28 May 2018 13:46:36 +0200
Subject: ...

---
 99_general.txt                   | 2 +-
 src/hastabel2idp/idp/Theory.java | 6 ++++--
 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();
    }
 
-- 
cgit v1.2.3-70-g09d2