aboutsummaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
Diffstat (limited to 'main.ml')
-rw-r--r--main.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/main.ml b/main.ml
index e85aeb2..1bb6704 100644
--- a/main.ml
+++ b/main.ml
@@ -8,3 +8,4 @@ open Parser
8open Instptr 8open Instptr
9open Reg 9open Reg
10open Urm 10open Urm
11