From db9de5bc717be46f0ca2dc1aa975c75adca6264d Mon Sep 17 00:00:00 2001
From: pacien
Date: Sun, 22 Apr 2018 20:54:32 +0200
Subject: Simplifications

---
 urm.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'urm.ml')

diff --git a/urm.ml b/urm.ml
index 49e970b..be9f7e4 100644
--- a/urm.ml
+++ b/urm.ml
@@ -32,3 +32,4 @@ let urm_run_trace = urm_run (* TODO *)
 
 (* Creates an URM from a command list and a register list *)
 let urm_mk cmd_list reg_list = { instptr = (instptr_mk cmd_list) ; regs = reg_list }
+
-- 
cgit v1.2.3