# HG changeset patch
# User chaieb
# Date 1185119628 -7200
# Node ID 42dc8d00e4c84e0357d64e0b4cb1d250b7314fb4
# Parent  c69069242a5173a0070e3228b34047976fca7d69
Renamed attribute dlo into attribute ferrack

diff -r c69069242a51 -r 42dc8d00e4c8 src/HOL/Tools/Qelim/ferrante_rackoff_data.ML
--- a/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Sun Jul 22 17:53:45 2007 +0200
+++ b/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Sun Jul 22 17:53:48 2007 +0200
@@ -144,6 +144,6 @@
 (* theory setup *)
 
 val setup =
-  Attrib.add_attributes [("dlo", att_syntax, "Ferrante Rackoff data")];
+  Attrib.add_attributes [("ferrack", att_syntax, "Ferrante Rackoff data")];
 
 end;