diff options
| author |  mikebarnett <unknown> | 2009-08-10 21:48:31 +0000 |
|---|---|---|
| committer | mikebarnett <unknown> | 2009-08-10 21:48:31 +0000 |
| commit | ecdfc58e314d98fcf0616cebc4e411d8aa007df7 (patch) | |
| tree | 219bd79bfce3d366aad0c5dc8a029371d2fe167b /Source/version.ssc | |
| parent | d105ecf9da0cd53a329de6bed90caec85e21774d (diff) | |
Changes needed in order to build Boogie using a freshly built Spec# compiler and not just the LKG.
Diffstat (limited to 'Source/version.ssc')
| -rw-r--r-- | Source/version.ssc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/version.ssc b/Source/version.ssc index bad3d890..a62185e7 100644 --- a/Source/version.ssc +++ b/Source/version.ssc @@ -4,5 +4,5 @@ //
//-----------------------------------------------------------------------------
using System.Reflection;
-[assembly: AssemblyVersion("1.0.21125.0")]
-[assembly: AssemblyFileVersion("1.0.21125.0")]
+[assembly: AssemblyVersion("1.0.21126.0")]
+[assembly: AssemblyFileVersion("1.0.21126.0")]
|