From 2e6e365262b7dc072d7ac35ff867f309e3ff784c Mon Sep 17 00:00:00 2001
From: pacien
Date: Fri, 20 Apr 2018 21:24:23 +0200
Subject: Simplify imports

---
 projet.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/projet.ml b/projet.ml
index 1de9e53..67e6221 100644
--- a/projet.ml
+++ b/projet.ml
@@ -1,6 +1,4 @@
-#load "str.cma";;
-
-open List
+#load "str.cma"
 
 type line = int
 type regidx = int
@@ -46,7 +44,7 @@ let instptr_mk urmcmd_list =
     match urmcmd_list with
     | [] -> acc
     | instr :: tail -> aux tail (count + 1) ((count, instr) :: acc)
-  in InstPtr([], rev (aux urmcmd_list 0 []))
+  in InstPtr([], List.rev (aux urmcmd_list 0 []))
 
 (* Moves the pointer to the previous instruction *)
 let instptr_move_up = function
-- 
cgit v1.2.3