fix help information on TPTP parsing (#2884)

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 9650aba7a3b358950028799773a441472af779e6..9dd1a4a0df1454205117e813be008b61827716b4 100644 (file)
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -446,7 +446,7 @@ Languages currently supported as arguments to the -L / --lang option:\n\
   smt2.5 | smtlib2.5             SMT-LIB format 2.5\n\
   smt2.6 | smtlib2.6             SMT-LIB format 2.6\n\
   smt2.6.1 | smtlib2.6.1         SMT-LIB format 2.6 with support for the strings standard\n\
-  tptp                           TPTP format (cnf and fof)\n\
+  tptp                           TPTP format (cnf, fof and tff)\n\
   sygus                          SyGuS format\n\
 \n\
 Languages currently supported as arguments to the --output-lang option:\n\