src/Pure/Isar/class.ML
changeset 24949 5f00e3532418
parent 24930 cc2e0e8c81af
child 24968 f9bafc868847
     1.1 --- a/src/Pure/Isar/class.ML	Wed Oct 10 17:31:55 2007 +0200
     1.2 +++ b/src/Pure/Isar/class.ML	Wed Oct 10 17:31:56 2007 +0200
     1.3 @@ -800,7 +800,7 @@
     1.4      val ty' = fastype_of rhs';
     1.5    in
     1.6      thy
     1.7 -    |> Sign.add_notation prmode [(Const (c', ty'), syn)]
     1.8 +    |> Sign.notation true prmode [(Const (c', ty'), syn)]
     1.9      |> register_abbrev class (c', ty')
    1.10      |> pair c'
    1.11    end;