src/HOL/TPTP/ROOT.ML
changeset 47526 832ca5c3f1b1
parent 46844 5d9aab0c609c
child 47792 804fdf0f6006
--- a/src/HOL/TPTP/ROOT.ML	Tue Apr 17 23:24:46 2012 +0200
+++ b/src/HOL/TPTP/ROOT.ML	Tue Apr 17 23:22:40 2012 +0100
@@ -8,7 +8,7 @@
 
 use_thys [
   "ATP_Theory_Export",
-  "TPTP_Parser"
+  "TPTP_Interpret"
 ];
 
 Unsynchronized.setmp Proofterm.proofs (!Proofterm.proofs)