src/Pure/sign.ML

--- a/src/Pure/sign.ML	Thu Dec 08 11:28:34 1994 +0100
+++ b/src/Pure/sign.ML	Thu Dec 08 12:45:28 1994 +0100
@@ -512,7 +512,7 @@
 (** the Pure signature **)
 
 val pure =
-  make_sign (Syntax.type_syn, tsig0, Symtab.null) [] "#"
+  make_sign (Syntax.pure_syn, tsig0, Symtab.null) [] "#"
   |> add_types
    (("fun", 2, NoSyn) ::
     ("prop", 0, NoSyn) ::