1.1 --- a/src/Pure/Isar/locale.ML	Tue Apr 26 16:31:43 2005 +0200
     1.2 +++ b/src/Pure/Isar/locale.ML	Tue Apr 26 17:44:24 2005 +0200
     1.3 @@ -255,7 +255,7 @@
     1.4  
     1.5    (* joining of registrations: prefix and attributs of left theory,
     1.6       thms are equal, no attempt to subsumption testing *)
     1.7 -  val join = Termtab.join (fn (reg, _) => SOME reg);
     1.8 +  fun join x = Termtab.join (fn (reg, _) => SOME reg) x;
     1.9  
    1.10    fun dest regs = map (apfst untermify) (Termtab.dest regs);
    1.11