src/Pure/sign.ML
changeset 763 d5a626aacdd3
parent 679 a682bbf70dc6
child 865 b38c67991122
     1.1 --- a/src/Pure/sign.ML	Thu Dec 08 11:28:34 1994 +0100
     1.2 +++ b/src/Pure/sign.ML	Thu Dec 08 12:45:28 1994 +0100
     1.3 @@ -512,7 +512,7 @@
     1.4  (** the Pure signature **)
     1.5  
     1.6  val pure =
     1.7 -  make_sign (Syntax.type_syn, tsig0, Symtab.null) [] "#"
     1.8 +  make_sign (Syntax.pure_syn, tsig0, Symtab.null) [] "#"
     1.9    |> add_types
    1.10     (("fun", 2, NoSyn) ::
    1.11      ("prop", 0, NoSyn) ::