aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNotkea2018-04-27 11:27:34 +0200
committerGitHub2018-04-27 11:27:34 +0200
commit880457ca0c585b06ba5ed9f431796b048722cc06 (patch)
tree2a7621fcef6f7b8afbc58529ac1a234c05cc142d
parent0027c7b647e1b345badbb01bcafd22feee075470 (diff)
downloadurm-880457ca0c585b06ba5ed9f431796b048722cc06.tar.gz
Remove useless rec
-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