src/HOL/cladata.ML

--- a/src/HOL/cladata.ML	Thu Nov 20 10:50:51 1997 +0100
+++ b/src/HOL/cladata.ML	Thu Nov 20 10:54:04 1997 +0100
@@ -78,7 +78,7 @@
   end;
 
 structure Blast = BlastFun(Blast_Data);
-Blast.overload ("op =", domain_type);	(*overloading of equality as iff*)
+Blast.overloaded ("op =", domain_type);	(*overloading of equality as iff*)
 
 val Blast_tac = Blast.Blast_tac
 and blast_tac = Blast.blast_tac;