changeset 17270 | 534b6e5e3736 |
parent 17059 | a001a3ebfcfd |
child 27357 | 5b3a087ff292 |
--- a/src/Pure/Isar/outer_keyword.ML Mon Sep 05 17:49:28 2005 +0200 +++ b/src/Pure/Isar/outer_keyword.ML Tue Sep 06 08:29:17 2005 +0200 @@ -83,7 +83,7 @@ (* tags *) -fun update_tags t ts = t :: remove (op =) t ts; +fun update_tags t ts = t :: remove (op = : string * string -> bool) t ts; fun tag t (Keyword (s, ts)) = Keyword (s, update_tags t ts); fun tags_of (Keyword (_, ts)) = ts;