From c831ee8936c0efb934e201f677305f4baf16a81b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 12 Sep 2014 13:57:10 +0200
Subject: [PATCH] disable indentation
---
.../de/prob/eventb/disprover/ui/export/ExportPOsHandler.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
index c8f37a36..a2343405 100644
--- a/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
+++ b/de.prob.eventb.disprover.ui/src/de/prob/eventb/disprover/ui/export/ExportPOsHandler.java
@@ -138,7 +138,7 @@ public class ExportPOsHandler extends AbstractHandler implements IHandler {
private static void exportPOs(PrintWriter fw, IPORoot poRoot)
throws RodinDBException {
- PrologTermOutput pto = new PrologTermOutput(fw);
+ PrologTermOutput pto = new PrologTermOutput(fw, false);
ASTProlog modelAst = new ASTProlog(pto, null);
TranslationVisitor tVisitor = new TranslationVisitor();
--
GitLab