From e7a472d78875f764660ac6cfdc25f3b363217ea7 Mon Sep 17 00:00:00 2001
From: Sandro Grebant <sandro.grebant@univ-lille.fr>
Date: Fri, 4 Jun 2021 12:08:09 +0200
Subject: [PATCH] correcting duplication of loop cases in generated header file
---
simplify/loops.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/simplify/loops.ml b/simplify/loops.ml
index 5125e44..c2ff355 100644
--- a/simplify/loops.ml
+++ b/simplify/loops.ml
@@ -71,7 +71,7 @@ let bounds_from_list l =
let bounds = new_bounds () in
List.iter (fun (lid,bound) ->
let lname = lname_from_lid lid in
- Hashtbl.add bounds lname bound) l;
+ Hashtbl.replace bounds lname bound) l;
bounds
open Format
--
GitLab