CicCooking.init() must now be used to initialize the proof-checker library.

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 427c75888cd7ee07266529dd3624b0e28a885d1a..4dfcb70b303af82d07f6d454776695ef47c16afd 100644 (file)
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -41,4 +41,5 @@ List of options:";
    ) !uris
 ;;
 
+CicCooking.init() ;
 main ();;