]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_map.ml
- API change (renamed some exceptions)
[helm.git] / helm / ocaml / getter / http_getter_map.ml
index 2b61e79761c008568d9552c240cb521667e8b705..4bead0c6cb9e3a8fd0176466fb18cbf8eb1f62ba 100644 (file)
@@ -26,8 +26,7 @@
  *  http://helm.cs.unibo.it/
  *)
 
-exception Key_already_in of string;;
-exception Key_not_found of string;;
+open Http_getter_types
 
 class map dbname =
   let perm = 420 in (* permission 644 in decimal notation *)