From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 30 Sep 2019 02:32:30 +0000 (-0500)
Subject: Add help for sygus 2.0 (#3318)
X-Git-Tag: cvc5-1.0.0~3924
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbf1b6fb38938dc829441579860f0c9155be75f9;p=cvc5.git

Add help for sygus 2.0 (#3318)
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index bfe4347d9..9e18dcb51 100644
--- a/src/options/options_template.cpp
+++ b/src/options/options_template.cpp
@@ -438,7 +438,7 @@ Languages currently supported as arguments to the -L / --lang option:\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, fof and tff)\n\
-  sygus                          SyGuS format\n\
+  sygus | sygus2                 SyGuS version 1.0 and 2.0 formats\n\
 \n\
 Languages currently supported as arguments to the --output-lang option:\n\
   auto                           match output language to input language\n\