src/HOL/Tools/res_atp.ML
changeset 31971 8c1b845ed105
parent 31910 a8e9ccfc427a
child 32091 30e2ffbba718
--- a/src/HOL/Tools/res_atp.ML	Thu Jul 09 17:34:59 2009 +0200
+++ b/src/HOL/Tools/res_atp.ML	Thu Jul 09 22:01:41 2009 +0200
@@ -152,7 +152,7 @@
 
 end;
 
-structure CTtab = TableFun(type key = const_typ list val ord = dict_ord const_typ_ord);
+structure CTtab = Table(type key = const_typ list val ord = dict_ord const_typ_ord);
 
 fun count_axiom_consts theory_const thy ((thm,_), tab) = 
   let fun count_const (a, T, tab) =