Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/sign.ML
changeset 42294 0f4372a2d2e4
parent 42290 b1f544c84040
child 42358 b47d41d9f4b5 
--- a/src/Pure/sign.ML	Fri Apr 08 17:45:37 2011 +0200
+++ b/src/Pure/sign.ML	Fri Apr 08 18:08:13 2011 +0200
@@ -140,7 +140,7 @@
     make_sign (Name_Space.default_naming, syn, tsig, consts);
 
   val empty =
-    make_sign (Name_Space.default_naming, Syntax.basic_syntax, Type.empty_tsig, Consts.empty);
+    make_sign (Name_Space.default_naming, Syntax.empty_syntax, Type.empty_tsig, Consts.empty);
 
   fun merge pp (sign1, sign2) =
     let
isabelle