--- a/src/HOL/TPTP/TPTP_Parser_Test.thy Wed Apr 04 20:40:39 2012 +0200
+++ b/src/HOL/TPTP/TPTP_Parser_Test.thy Wed Apr 04 21:57:39 2012 +0100
@@ -7,7 +7,7 @@
*)
theory TPTP_Parser_Test
-imports TPTP_Parser
+imports TPTP_Parser TPTP_Parser_Example
begin
ML {*