X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=5467ab43be5590f9b6b8126f2e0d6897aa4edba5;hb=b3bd459aeedce3ae8b21e25c3f8cab730bd544f9;hp=19df81c4ffb29eb5a3ded31d2280004312c8bf3e;hpb=ed6f2ada263b5137d139b45c772fbc010b412f26;p=helm.git

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 19df81c4f..5467ab43b 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -58,7 +58,7 @@ in
 let bad_request outchan =
   printf "INVALID REQUEST !!!!!\n\n";
   flush stdout;
-  Http.Daemon.respond_error ~status:(`Client_error `Bad_request) outchan;
+  Http_daemon.respond_error ~status:(`Client_error `Bad_request) outchan;
   flush outchan
 in
 
@@ -94,6 +94,6 @@ in
 CicCooking.init();
 printf "Proof Checker started and listening on port %d\n" port;
 flush stdout;
-Http.Daemon.start' ~port callback;
+Http_daemon.start' ~port callback;
 printf "Proof Checker is terminating, bye!\n"