| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/hastabel2idp/idp/Theory.java | 6 |
1 files changed, 4 insertions, 2 deletions
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(); } |