From 851f7df243cc35ef7890d4594481485ed87c3526 Mon Sep 17 00:00:00 2001
From: Thomas Applencourt <t.applencourt@gmail.com>
Date: Mon, 4 May 2015 16:07:53 +0200
Subject: [PATCH] Change veryclean to delete resultfile

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ec555670..4aa24d00 100644
--- a/Makefile
+++ b/Makefile
@@ -45,5 +45,5 @@ ocaml:
 
 veryclean:
 	rm -rf EZFIO
-	$(MAKE) EZFIO
+	rm -rf resultsFile
 	$(MAKE) -C src veryclean