diff options
author | Notkea | 2018-04-27 11:27:34 +0200 |
---|---|---|
committer | GitHub | 2018-04-27 11:27:34 +0200 |
commit | 880457ca0c585b06ba5ed9f431796b048722cc06 (patch) | |
tree | 2a7621fcef6f7b8afbc58529ac1a234c05cc142d | |
parent | 0027c7b647e1b345badbb01bcafd22feee075470 (diff) | |
download | urm-880457ca0c585b06ba5ed9f431796b048722cc06.tar.gz |
Remove useless rec
-rw-r--r-- | reg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,5 +16,5 @@ let regs_get reglist index = | |||
16 | let regs_set reglist index value = | 16 | let 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 | ||
19 | let rec regs_string reglist = List.map (reg_string) reglist |> String.concat ", " | 19 | let regs_string reglist = List.map (reg_string) reglist |> String.concat ", " |
20 | 20 | ||