From 865edc29497caf418f9cc60d982d2bfc6c02880e Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 29 Nov 2001 20:48:49 +0000
Subject: [PATCH] CicCooking.init() must now be used to initialize the
 proof-checker library.

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

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