diff options
author | Rustan Leino <leino@microsoft.com> | 2012-07-03 01:09:03 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-07-03 01:09:03 -0700 |
commit | c66dc1ecd384fdcd402a65ac86824327ee32eb1e (patch) | |
tree | 85a61dd85a38855e9159ef4c0bdb0b3d51ff2550 /Source/Core | |
parent | 4e8899d2605278237e26312cc1a9461e50d3f4bc (diff) |
Changed copyright year range to include 2012
Diffstat (limited to 'Source/Core')
-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 e7633014..ff1a0eb1 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -45,7 +45,7 @@ namespace Microsoft.Boogie { public static string/*!*/ VersionSuffix {
get {
Contract.Ensures(Contract.Result<string>() != null);
- return " version " + VersionNumber + ", Copyright (c) 2003-2011, Microsoft.";
+ return " version " + VersionNumber + ", Copyright (c) 2003-2012, Microsoft.";
}
}
public string/*!*/ Version {
|