Skip to content
Snippets Groups Projects
Commit e7a472d7 authored by Grebant Sandro's avatar Grebant Sandro
Browse files

correcting duplication of loop cases in generated header file

parent 2f79b704
No related branches found
No related tags found
1 merge request!1correcting duplication of loop cases in generated header file
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment