Close 2 files that we open so we know that the writes have actually h…

…appened
ghc · Apr 16, 2007 · 9293f0a · 9293f0a
1 parent a734c56
commit 9293f0a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/driver/testlib.py b/driver/testlib.py
@@ -760,11 +760,13 @@ def split_file(in_fn, delimiter, out1_fn, out2_fn):
         out1.write(line)
         line = infile.readline()
 	line = re.sub('\r', '', line)
+    out1.close()
 
     line = infile.readline()
     while (line != ''):
         out2.write(line)
         line = infile.readline()
+    out2.close()
 
 # -----------------------------------------------------------------------------
 # Generate External Core for the given program, then compile the resulting Core