]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_map.mli
- API change (renamed some exceptions)
[helm.git] / helm / ocaml / getter / http_getter_map.mli
index 7081f19629f7907e835bd856d43d1677be54c048..3e4ac7ba40c67be4337f16e367d3c73cf48af986 100644 (file)
@@ -26,9 +26,6 @@
  *  http://helm.cs.unibo.it/
  *)
 
-exception Key_already_in of string
-exception Key_not_found of string
-
 class map:
   string ->
     object