src/HOL/TPTP/lib/Tools/tptp_translate
changeset 46320 0b8b73b49848
parent 46319 c248e4f1be74
child 46324 e4bccf5ec61e
     1.1 --- a/src/HOL/TPTP/lib/Tools/tptp_translate	Mon Jan 23 17:40:31 2012 +0100
     1.2 +++ b/src/HOL/TPTP/lib/Tools/tptp_translate	Mon Jan 23 17:40:32 2012 +0100
     1.3 @@ -22,7 +22,7 @@
     1.4  
     1.5  for FILE in "$@"
     1.6  do
     1.7 -  echo "theory $SCRATCH imports \"Main\" begin ML {* ATP_Translate.translate_tptp_file \"$FILE\" *} end;" \
     1.8 +  echo "theory $SCRATCH imports \"Main\" begin ML {* ATP_Problem_Generate.translate_tptp_file \"$FILE\" *} end;" \
     1.9      > /tmp/$SCRATCH.thy
    1.10    "$ISABELLE_PROCESS" -e "use_thy \"/tmp/$SCRATCH\"; exit 1;"
    1.11  done