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