diff options
| author |  Rustan Leino <unknown> | 2013-01-23 18:13:36 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-01-23 18:13:36 -0800 |
| commit | 1005adb004baf133b265eda5bfdc53022437e6ef (patch) | |
| tree | b2fd13051b5f484a79a9b2303404aafc2da5858f /Source/version.cs | |
| parent | 967bd4d7a4223d710f8f10659cdced173b249eac (diff) | |
Fixed bug in translation of method termination checks, and also fixed a (previously undetected) specification bug in the test suite.
Diffstat (limited to 'Source/version.cs')
| -rw-r--r-- | Source/version.cs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Source/version.cs b/Source/version.cs index 5227a0d1..9143b9c0 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,5 +1,4 @@ using System.Reflection;
-// Version 1.6.0, year 2013+0 month 01 day 21
-[assembly: AssemblyVersion("1.6.0.00121")]
-[assembly: AssemblyFileVersion("1.6.0.00121")]
-
+// Version 1.6.0, year 2013+0 month 01 day 23
+[assembly: AssemblyVersion("1.6.0.00123")]
+[assembly: AssemblyFileVersion("1.6.0.00123")]
|