1 files changed, 4 insertions, 5 deletions

diff --git a/src/instptr.ml b/src/instptr.ml
index 0311a00..9006b66 100644
--- a/src/instptr.ml
+++ b/src/instptr.ml
@@ -25,10 +25,10 @@ let instptr_get = function
 
 let instptr_string instptr =
   let string_of_inst = function
-    | Zero(a) -> "Zero " ^ (string_of_int a)
-    | Succ(a) -> "Succ " ^ (string_of_int a)
-    | Copy(a, b) -> "Copy " ^ (string_of_int a) ^ " " ^ (string_of_int b)
-    | Jump(a, b, c) -> "Jump " ^ (string_of_int a) ^ " " ^ (string_of_int b) ^ " " ^ (string_of_int c)
+    | URMZero(a) -> "URMZero " ^ (string_of_int a)
+    | URMSucc(a) -> "URMSucc " ^ (string_of_int a)
+    | URMCopy(a, b) -> "URMCopy " ^ (string_of_int a) ^ " " ^ (string_of_int b)
+    | URMJump(a, b, c) -> "URMJump " ^ (string_of_int a) ^ " " ^ (string_of_int b) ^ " " ^ (string_of_int c)
   in let string_of_instptr (l, inst) = (string_of_int l) ^ ": " ^ string_of_inst inst
   in try string_of_instptr (instptr_get instptr) with _ -> "null"
 
@@ -40,4 +40,3 @@ let rec instptr_jump ptr offset = match offset with
   | 0 -> ptr
   | _ when offset > 0 -> instptr_jump (instptr_move_up ptr) (offset - 1)
   | _ -> instptr_jump (instptr_move_down ptr) (offset + 1)
-