aboutsummaryrefslogtreecommitdiff
path: root/main.ml
diff options
context:
space:
mode:
authorpacien2018-04-21 14:24:33 +0200
committerpacien2018-04-21 14:24:33 +0200
commit48b18b8e9fbaa38df427b3d435ab6f73c5da0db5 (patch)
tree9681760a78eda79f52c369610caa466a8c27bc54 /main.ml
parent3f25710a891dfcd17f597c16dfedf5499bc1bbd6 (diff)
downloadurm-48b18b8e9fbaa38df427b3d435ab6f73c5da0db5.tar.gz
Add test
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