src/Pure/Tools/find_theorems.ML

--- a/src/Pure/Tools/find_theorems.ML	Sun Mar 08 17:19:15 2009 +0100
+++ b/src/Pure/Tools/find_theorems.ML	Sun Mar 08 17:26:14 2009 +0100
@@ -279,7 +279,7 @@
 
 val index_ord = option_ord (K EQUAL);
 val hidden_ord = bool_ord o pairself NameSpace.is_hidden;
-val qual_ord = int_ord o pairself (length o NameSpace.explode);
+val qual_ord = int_ord o pairself (length o Long_Name.explode);
 val txt_ord = int_ord o pairself size;
 
 fun nicer_name (x, i) (y, j) =