src/HOL/TPTP/ATP_Problem_Import.thy

--- a/src/HOL/TPTP/ATP_Problem_Import.thy	Wed Apr 18 21:28:49 2012 +0200
+++ b/src/HOL/TPTP/ATP_Problem_Import.thy	Wed Apr 18 22:16:05 2012 +0200
@@ -5,7 +5,7 @@
 header {* ATP Problem Importer *}
 
 theory ATP_Problem_Import
-imports Complex_Main
+imports Complex_Main TPTP_Interpret
 uses ("atp_problem_import.ML")
 begin