From 3d8ab5897c6aa3d9c1b317e1137b3fcd2668f25e Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 31 May 2018 14:42:55 +0200
Subject: [PATCH 1/1] Moved andrea.ml to simple.ml

---
 ocaml/Makefile                 | 6 +++---
 ocaml/{andrea.ml => simple.ml} | 0
 2 files changed, 3 insertions(+), 3 deletions(-)
 rename ocaml/{andrea.ml => simple.ml} (100%)

diff --git a/ocaml/Makefile b/ocaml/Makefile
index 5859d51..d5c830b 100644
--- a/ocaml/Makefile
+++ b/ocaml/Makefile
@@ -2,7 +2,7 @@ OCAMLC = ocamlopt -g -rectypes
 LIB = unix.cmxa str.cmxa
 UTILS = util.cmx console.cmx listx.cmx pure.cmx num.cmx parser.cmx parser_andrea.cmx
 
-all: a.out test4.out andrea.out
+all: a.out test4.out simple.out
 
 run: test4.out
 	bash run
@@ -13,8 +13,8 @@ a.out: $(UTILS) lambda4.cmx problems.cmx
 test4.out: $(UTILS) lambda4.cmx test.ml
 	$(OCAMLC) -o test4.out $(LIB) $^
 
-andrea.out: $(UTILS) andrea.ml
-	$(OCAMLC) -o andrea.out $(LIB) $(UTILS) andrea.ml
+simple.out: $(UTILS) simple.ml
+	$(OCAMLC) -o simple.out $(LIB) $(UTILS) simple.ml
 
 %.cmi: %.mli
 	$(OCAMLC) -c $<
diff --git a/ocaml/andrea.ml b/ocaml/simple.ml
similarity index 100%
rename from ocaml/andrea.ml
rename to ocaml/simple.ml
-- 
2.39.2