Dependency on ocaml_http replaced by ocaml_http_stubs stubs

[helm.git] / matita / components / ocaml_http_stubs / http_user_agent.ml

diff --git a/matita/components/ocaml_http_stubs/http_user_agent.ml b/matita/components/ocaml_http_stubs/http_user_agent.ml
new file mode 100644 (file)
index 0000000..90c6dee
--- /dev/null
+++ b/matita/components/ocaml_http_stubs/http_user_agent.ml
@@ -0,0 +1,7 @@
+exception Http_error of (int * string)
+
+let get ?head_callback _ = assert false
+
+let get_iter ?head_callback _ _ = assert false
+
+let head _ = assert false