From 5127dfc526baa73cf0b85ea96570695a1790e790 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 10 Dec 2014 16:48:26 +0100
Subject: [PATCH] close stream to .prob file
---
src/main/java/de/tla2bAst/Translator.java | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 4c00135..5a1c46e 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);
--
GitLab