Cooking is no more required. Now we have explicit named substitutions!

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 3ef0db2e8e2e6e9215a753540ff4cfeabf255959..b5a2625c26f8d436f2356600e18317134d291c7e 100644 (file)
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -57,7 +57,6 @@ List of options:"
    End_of_file -> ()
 ;;
 
-CicCooking.init() ;
 Logger.log_callback :=
  (Logger.log_to_html
    ~print_and_flush:(function s -> print_string s ; flush stdout)) ;