Remove temp file

karmaresearch · Aug 27, 2019 · f39cea3 · f39cea3
1 parent 459edee
commit f39cea3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vlog/java/karmaresearch/vlog/Test.java b/src/vlog/java/karmaresearch/vlog/Test.java
@@ -100,10 +100,10 @@ static void runTest() throws Exception {
             vlog.writeQueryResultsToCsv(
                     new Atom("p3", q1.toArray(new Term[q1.size()])), "blabla");
             System.err.println("vlog should have thrown an exception");
-            Files.delete(Paths.get("blabla"));
         } catch (NonExistingPredicateException e) {
             // OK
         }
+        Files.delete(Paths.get("blabla"));
 
         vlog = new VLog();
         vlog.start("", false);