src/HOL/TPTP/lib/Tools/tptp_refute

--- a/src/HOL/TPTP/lib/Tools/tptp_refute	Mon Jun 22 16:56:03 2015 +0200
+++ b/src/HOL/TPTP/lib/Tools/tptp_refute	Mon Jun 22 16:56:03 2015 +0200
@@ -23,6 +23,8 @@
 TIMEOUT=$1
 shift
 
+isabelle build -b HOL-TPTP
+
 for FILE in "$@"
 do
   echo "theory $SCRATCH imports \"$TPTP_HOME/ATP_Problem_Import\" begin \