diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 4c00135dce0fc1114facfe99d7918b79e2fab318..5a1c46ebf1b5904c785bbdb30acf92d4b2105276 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -291,8 +291,10 @@ public class Translator implements TranslationGlobals {
 			PrologPrinter prologPrinter = new PrologPrinter(rml, bParser,
 					moduleFile, moduleName, typeTable);
 			// prologPrinter.printAsProlog(new PrintWriter(probFile), false);
-			prologPrinter.printAsProlog(new PrintWriter(probFile, "UTF-8"),
-					false);
+
+			PrintWriter outWriter = new PrintWriter(probFile, "UTF-8");
+			prologPrinter.printAsProlog(outWriter, false);
+			outWriter.close();
 			System.out.println(probFile.getAbsolutePath() + " created.");
 
 			// prologPrinter.printAsProlog(new PrintWriter(System.out), false);