# HG changeset patch
# User wenzelm
# Date 1186671377 -7200
# Node ID 92c646714237868920f983cc05b1d5e9db3daa1b
# Parent  a365995c043b95ec4b101d57f7a2a01e2f5e29a5
adapted ThyLoad.check_thy;

diff -r a365995c043b -r 92c646714237 doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Thu Aug 09 15:57:26 2007 +0200
+++ b/doc-src/antiquote_setup.ML	Thu Aug 09 16:56:17 2007 +0200
@@ -50,7 +50,7 @@
 
 fun arguments x = O.args (Scan.lift (Args.name -- Scan.optional (Args.colon |-- Args.name) "")) x;
 
-fun pretty_thy_file name = (ThyLoad.check_thy Path.current name false; Pretty.str name);
+fun pretty_thy_file name = (ThyLoad.check_thy Path.current name; Pretty.str name);
 
 
 (* theorems with names *)