advance the year

Daniel Kroening · Daniel Kroening · commit d999e56bddd7 · 2017-05-21T16:06:20.000+01:00
diff --git a/src/cbmc/cbmc_parse_options.cpp b/src/cbmc/cbmc_parse_options.cpp
@@ -1045,7 +1045,7 @@ void cbmc_parse_optionst::help()
 {
   std::cout <<
     "\n"
-    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2016 ";
+    "* *   CBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 

Original file line number	Diff line number	Diff line change
`@@ -1045,7 +1045,7 @@ void cbmc_parse_optionst::help()`
`1045`	`1045`	`{`
`1046`	`1046`	`std::cout <<`
`1047`	`1047`	`"\n"`
`1048`		`- "* * CBMC " CBMC_VERSION " - Copyright (C) 2001-2016 ";`
	`1048`	`+ "* * CBMC " CBMC_VERSION " - Copyright (C) 2001-2017 ";`
`1049`	`1049`
`1050`	`1050`	`std::cout << "(" << (sizeof(void )8) << "-bit version)";`
`1051`	`1051`