From 4a0723a7c122f78f7e6808a4ed9a48d2d58b210f Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Mon, 19 Jul 2010 20:29:50 +0000
Subject: Boogie: Forgot to check in this file.  Hope no one tried to rebuild
 without it.  Sorry.

---
 Source/BoogieDriver/version.cs | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Source/BoogieDriver/version.cs

(limited to 'Source')

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")]
-- 
cgit v1.2.3