diff -r 7b09206bb74b -r f5a304ca037e src/HOL/TPTP/TPTP_Parser_Test.thy
--- 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 {*