From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 29 Nov 2001 20:48:49 +0000 (+0000)
Subject: CicCooking.init() must now be used to initialize the proof-checker library.
X-Git-Tag: mlminidom_0_2_2~43
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=865edc29497caf418f9cc60d982d2bfc6c02880e;p=helm.git

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 427c75888..4dfcb70b3 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -41,4 +41,5 @@ List of options:";
    ) !uris
 ;;
 
+CicCooking.init() ;
 main ();;