aboutsummaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'main.ml')
-rw-r--r--main.ml10
1 files changed, 10 insertions, 0 deletions
diff --git a/main.ml b/main.ml
new file mode 100644
index 0000000..e85aeb2
--- /dev/null
+++ b/main.ml
@@ -0,0 +1,10 @@
1(*
2 * UPEM / L3 / Functional programming / Project: URM
3 * Pacien TRAN-GIRARD, Adam NAILI
4 *)
5
6open Common
7open Parser
8open Instptr
9open Reg
10open Urm