year in help

Daniel Kroening · Daniel Kroening · commit d8a9db19b656 · 2016-08-17T12:05:10.000+01:00
diff --git a/src/cegis/runner/cegis_parse_options.cpp b/src/cegis/runner/cegis_parse_options.cpp
@@ -119,7 +119,7 @@ void cegis_parse_optionst::help()
 {
   std::cout <<
     "\n"
-    "* *   CEGIS " CBMC_VERSION " - Copyright (C) 2001-2014 ";
+    "* *   CEGIS " CBMC_VERSION " - Copyright (C) 2001-2016 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 

Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@ void cegis_parse_optionst::help()`
`119`	`119`	`{`
`120`	`120`	`std::cout <<`
`121`	`121`	`"\n"`
`122`		`- "* * CEGIS " CBMC_VERSION " - Copyright (C) 2001-2014 ";`
	`122`	`+ "* * CEGIS " CBMC_VERSION " - Copyright (C) 2001-2016 ";`
`123`	`123`
`124`	`124`	`std::cout << "(" << (sizeof(void )8) << "-bit version)";`
`125`	`125`