]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix: multiple bindings of the same key work again
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 09:37:32 +0000 (09:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 09:37:32 +0000 (09:37 +0000)
helm/ocaml/registry/helm_registry.ml

index 78d8cda5fa315dc6572e56cde619e7a51e1d43bc..d1f4b1f92c015790455f8932c6946a6dc571ebcb 100644 (file)
@@ -117,13 +117,10 @@ let key_is_valid key =
   if not (Str.string_match valid_key_rex key 0) then
     raise (Malformed_key key)
 
-let set' ?(replace=true) registry ~key ~value =
+let set' registry ~key ~value =
   debug_print (lazy (sprintf "Setting %s = %s" key value));
   key_is_valid key;
-  if replace then
-    Hashtbl.replace registry key value
-  else
-    Hashtbl.add registry key value
+  Hashtbl.add registry key value
 
 let unset registry = Hashtbl.remove registry
 
@@ -205,7 +202,7 @@ let get_pair registry fst_unmarshaller snd_unmarshaller key =
 
 let set_list registry marshaller ~key ~value =
   List.iter
-    (fun v -> set ~replace:false registry ~key ~value:(marshaller v))
+    (fun v -> set registry ~key ~value:(marshaller v))
     value
 
 type xml_tree =