diff options
Diffstat (limited to 'reg.ml')
-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 | ||