From 39006a99890cb2c55956b3a372cb9b6e9eb631f6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Oct 2002 15:18:33 +0000
Subject: [PATCH] Cooking is no more required. Now we have explicit named
 substitutions!

---
 helm/proofChecker/proofChecker.ml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 3ef0db2e8..b5a2625c2 100644
--- 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)) ;
-- 
2.39.2