From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 15 Jun 2005 12:24:06 +0000 (+0000)
Subject: sync with new typecheck prototype (no more univ graph)
X-Git-Tag: PRE_STORAGE~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=43ff45f36aafe6656971001b37424e2aa6710392;p=helm.git

sync with new typecheck prototype (no more univ graph)
---

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 7659e57dd..e4f00fe3a 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -107,8 +107,7 @@ let callback (req : Http_types.request) outchan' =
           fprintf outchan' "%s" (html_preamble uri);
           flush outchan';
           (try
-            ignore (CicTypeChecker.typecheck (UriManager.uri_of_string uri)
-              CicUniv.empty_ugraph);
+            ignore (CicTypeChecker.typecheck (UriManager.uri_of_string uri));
            with e ->
             fprintf outchan' "%s\n" (Printexc.to_string e);
             flush outchan');