From b216b5a2df4e4218ee2e148cf5e8f11c4d4dbb1b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 14 Nov 2002 17:40:54 +0000 Subject: [PATCH] name fix due to changes in libhttp-ocaml (e.g. s/Http\.Daemon/Http_daemon/) --- helm/proofChecker/proofChecker.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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" -- 2.39.2