Adding version number to help output of the binary.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@171 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/parser/main.cpp b/src/parser/main.cpp
index 9b2606af081931079fba1ebb9cbbbce08eacd563..73d87cc1e87d0e23d5a0542289b8ea9905c33f6b 100644 (file)
--- a/src/parser/main.cpp
+++ b/src/parser/main.cpp
@@ -78,6 +78,7 @@ int main(int argc, char ** argv) {
   }
 
   //populate the help string
+  helpstring += "version: " + version + "\n\n";
   helpstring +=  "-r  : switch refinement off (optimizations are ON by default)\n";
   helpstring +=  "-w  : switch wordlevel solver off (optimizations are ON by default)\n";
   helpstring +=  "-a  : switch optimizations off (optimizations are ON by default)\n";
@@ -92,6 +93,8 @@ int main(int argc, char ** argv) {
   helpstring +=  "-h  : help\n";
   helpstring +=  "-m  : use the SMTLIB parser\n";
 
+
+
   for(int i=1; i < argc;i++) {
     if(argv[i][0] == '-') {
       switch(argv[i][1]) {