aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--reg.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/reg.ml b/reg.ml
index 45bbb4b..133ef21 100644
--- a/reg.ml
+++ b/reg.ml
@@ -16,5 +16,5 @@ let regs_get reglist index =
16let regs_set reglist index value = 16let regs_set reglist index value =
17 Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist 17 Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist
18 18
19let rec regs_string reglist = List.map (reg_string) reglist |> String.concat ", " 19let regs_string reglist = List.map (reg_string) reglist |> String.concat ", "
20 20