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 c8f37a36960ca87cab6bc79d9007774b83d9c27f..a23434051a7abce63dbdf12e216df32afcb5e93b 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();