From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Oct 2002 15:18:33 +0000 (+0000)
Subject: Cooking is no more required. Now we have explicit named substitutions!
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39006a99890cb2c55956b3a372cb9b6e9eb631f6;p=helm.git

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

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)) ;