From 43ff45f36aafe6656971001b37424e2aa6710392 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 15 Jun 2005 12:24:06 +0000 Subject: [PATCH] sync with new typecheck prototype (no more univ graph) --- helm/proofChecker/proofChecker.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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'); -- 2.39.2