diff options
| author |  Unknown <scmalte@PM-STUD01.d.ethz.ch> | 2011-07-05 14:31:28 +0200 |
|---|---|---|
| committer | Unknown <scmalte@PM-STUD01.d.ethz.ch> | 2011-07-05 14:31:28 +0200 |
| commit | 426d05ebd07ce6eff0605ba3600b4cfa85ed7427 (patch) | |
| tree | 6161c2eb0598b3f43126b46d150b5830c6d25c36 /Source/version.ssc | |
| parent | ac4bedcd7ff6765b996c7c76b34231871eb19973 (diff) | |
Boogie: New cli option -z3exe:"path-to-z3.exe" allowing specifying path to the Z3 version to use
Diffstat (limited to 'Source/version.ssc')
| -rw-r--r-- | Source/version.ssc | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/Source/version.ssc b/Source/version.ssc index 2804c330..fd211b1c 100644 --- a/Source/version.ssc +++ b/Source/version.ssc @@ -1,8 +1,12 @@ -//-----------------------------------------------------------------------------
-//
-// Copyright (C) Microsoft Corporation. All Rights Reserved.
-//
-//-----------------------------------------------------------------------------
+// ==++==
+//
+//
+//
+// ==--==
+// Warning: Automatically generated file. DO NOT EDIT
+// Generated at Dienstag, 5. Juli 2011 11:26:45
+
using System.Reflection;
-[assembly: AssemblyVersion("2.0.0.0")]
-[assembly: AssemblyFileVersion("2.0.0.0")]
+[assembly: AssemblyVersion("2.2.30705.1126")]
+[assembly: AssemblyFileVersion("2.2.30705.1126")]
+
|