src/HOL/Tools/ATP/res_clasimpset.ML

--- a/src/HOL/Tools/ATP/res_clasimpset.ML	Wed Jul 20 15:57:10 2005 +0200
+++ b/src/HOL/Tools/ATP/res_clasimpset.ML	Wed Jul 20 17:00:28 2005 +0200
@@ -185,7 +185,6 @@
               ReduceAxiomsN.relevant_filter (!relevant) goal 
                 (ResAxioms.claset_rules_of_thy thy);
 	val named_claset = List.filter has_name_pair claset_rules;
-	val claset_names = map remove_spaces_pair (named_claset)
 	val claset_cls_thms = #1 (ResAxioms.clausify_rules_pairs named_claset []);
 
 	val simpset_rules =