summaryrefslogtreecommitdiff
path: root/Source
diff options
context:
space:
mode:
Diffstat (limited to 'Source')
-rw-r--r--Source/BoogieDriver/version.cs8
1 files changed, 8 insertions, 0 deletions
diff --git a/Source/BoogieDriver/version.cs b/Source/BoogieDriver/version.cs
new file mode 100644
index 00000000..2804c330
--- /dev/null
+++ b/Source/BoogieDriver/version.cs
@@ -0,0 +1,8 @@
+//-----------------------------------------------------------------------------
+//
+// Copyright (C) Microsoft Corporation. All Rights Reserved.
+//
+//-----------------------------------------------------------------------------
+using System.Reflection;
+[assembly: AssemblyVersion("2.0.0.0")]
+[assembly: AssemblyFileVersion("2.0.0.0")]