snapshort

[helm.git] / helm / ocaml / cic_notation / test_parser.ml

diff --git a/helm/ocaml/cic_notation/test_parser.ml b/helm/ocaml/cic_notation/test_parser.ml
index 77135a977d04778312c676faf984ff0beddfa04a..98716ad8663c75269cbca5ac5b7290a4c2d0a2a9 100644 (file)
--- a/helm/ocaml/cic_notation/test_parser.ml
+++ b/helm/ocaml/cic_notation/test_parser.ml
@@ -26,8 +26,8 @@
 open Printf
 
 let _ =
-  Helm_registry.load_from "test_parser.conf.xml";
-  Http_getter.init ()
+  Helm_registry.load_from "test_parser.conf.xml"
+(*   Http_getter.init () *)
 
 let _ =
   let module P = CicNotationPt in