From 880457ca0c585b06ba5ed9f431796b048722cc06 Mon Sep 17 00:00:00 2001
From: Notkea
Date: Fri, 27 Apr 2018 11:27:34 +0200
Subject: Remove useless rec

---
 reg.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 =
 let regs_set reglist index value =
   Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist
 
-let rec regs_string reglist = List.map (reg_string) reglist |> String.concat ", "
+let regs_string reglist = List.map (reg_string) reglist |> String.concat ", "
 
-- 
cgit v1.2.3