src/HOL/TPTP/mash_export.ML

--- a/src/HOL/TPTP/mash_export.ML	Sat Dec 08 13:55:26 2012 +0100
+++ b/src/HOL/TPTP/mash_export.ML	Sat Dec 08 21:54:28 2012 +0100
@@ -44,7 +44,7 @@
 
 fun all_facts ctxt =
   let val css = Sledgehammer_Fact.clasimpset_rule_table_of ctxt in
-    Sledgehammer_Fact.all_facts ctxt false Symtab.empty [] [] css
+    Sledgehammer_Fact.all_facts ctxt true false Symtab.empty [] [] css
   end
 
 fun add_thy_parent_facts thy_map thy =