src/Pure/Thy/term_style.ML
changeset 23577 c5b93c69afd3
parent 22846 fb79144af9a3
child 23655 d2d1138e0ddc
     1.1 --- a/src/Pure/Thy/term_style.ML	Thu Jul 05 00:06:13 2007 +0200
     1.2 +++ b/src/Pure/Thy/term_style.ML	Thu Jul 05 00:06:14 2007 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    val empty = Symtab.empty;
     1.5    val copy = I;
     1.6    val extend = I;
     1.7 -  fun merge _ tabs = Symtab.merge (eq_snd (op =)) tabs
     1.8 +  fun merge _ tabs : T = Symtab.merge (eq_snd (op =)) tabs
     1.9      handle Symtab.DUPS dups => err_dup_styles dups;
    1.10  );
    1.11