From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Fri, 22 Mar 2019 06:11:06 +0000 (-0500)
Subject: fix help information on TPTP parsing (#2884)
X-Git-Tag: cvc5-1.0.0~4224
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f7336df0c8ace6c0d73fefc2d2e54966599ee40b;p=cvc5.git

fix help information on TPTP parsing (#2884)
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index 9650aba7a..9dd1a4a0d 100644
--- 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\