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/theory.ML
changeset 78009 f906f7f83dae
parent 77895 655bd3b0671b
child 78527 374611eb3055 
--- a/src/Pure/theory.ML	Tue May 09 20:32:49 2023 +0200
+++ b/src/Pure/theory.ML	Tue May 09 21:32:03 2023 +0200
@@ -189,7 +189,6 @@
       |> Sign.init_naming
       |> Sign.local_path
       |> apply_wrappers wrappers
-      |> tap (Syntax.force_syntax o Sign.syn_of)
     end;
 
 fun end_theory thy =
isabelle