diff options
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 1 | ||||
| -rw-r--r-- | Source/version.cs | 6 |
2 files changed, 4 insertions, 3 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index e2521112..55bc807a 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -20,6 +20,7 @@ for %%f in ( Graph.dll Graph.pdb Houdini.dll Houdini.pdb Model.dll Model.pdb + ModelViewer.dll ModelViewer.pdb ParserHelper.dll ParserHelper.pdb Provers.SMTLib.dll Provers.SMTLib.pdb VCExpr.dll VCExpr.pdb diff --git a/Source/version.cs b/Source/version.cs index 8fbc0e54..53401cb9 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection;
-// Version 1.9.0, year 2013+1 month 10 day 16
-[assembly: AssemblyVersion("1.9.0.11016")]
-[assembly: AssemblyFileVersion("1.9.0.11016")]
+// Version 1.9.0, year 2013+1 month 10 day 21
+[assembly: AssemblyVersion("1.9.1.11021")]
+[assembly: AssemblyFileVersion("1.9.1.11021")]
|