diff -r 32f35b3d9e42 -r 55b42f9af99d src/HOL/TPTP/TPTP_Interpret_Test.thy
--- a/src/HOL/TPTP/TPTP_Interpret_Test.thy	Wed Apr 18 22:16:05 2012 +0200
+++ b/src/HOL/TPTP/TPTP_Interpret_Test.thy	Wed Apr 18 22:39:35 2012 +0200
@@ -2,8 +2,7 @@
     Author:     Nik Sultana, Cambridge University Computer Laboratory
 
 Some tests for the TPTP interface. Some of the tests rely on the Isabelle
-environment variable TPTP_PROBLEMS_PATH, which should point to the
-TPTP-vX.Y.Z/Problems directory.
+environment variable $TPTP, which should point to the TPTP-vX.Y.Z directory.
 *)
 
 theory TPTP_Interpret_Test