diff options
Diffstat (limited to 'Source/Core/CommandLineOptions.cs')
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 12264c95..e68c1b71 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -25,7 +25,7 @@ namespace Microsoft.Boogie { public static string/*!*/ VersionSuffix {
get {
Contract.Ensures(Contract.Result<string>() != null);
- return " version " + VersionNumber + ", Copyright (c) 2003-2010, Microsoft.";
+ return " version " + VersionNumber + ", Copyright (c) 2003-2011, Microsoft.";
}
}
public string/*!*/ InputFileExtension {
|