diff options
| author |  Rustan Leino <unknown> | 2014-01-03 18:09:47 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-03 18:09:47 -0800 |
| commit | 6fa03529749ccf533a7561f59c71b810e03fe694 (patch) | |
| tree | a0747ceddbea1fc5baf1a725f56d49b10fccbda4 | |
| parent | 8ff54369ce4433bc21a470d8e3eb33db91633507 (diff) | |
Updated year in main copyright message
| -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 b9d6800c..da2c3a99 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -46,7 +46,7 @@ namespace Microsoft.Boogie { public virtual string/*!*/ VersionSuffix {
get {
Contract.Ensures(Contract.Result<string>() != null);
- return " version " + VersionNumber + ", Copyright (c) 2003-2013, Microsoft.";
+ return " version " + VersionNumber + ", Copyright (c) 2003-2014, Microsoft.";
}
}
public virtual string/*!*/ Version {
|