From e754218603460ae256a71d45b56ab5389087afd3 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Mon, 19 Jul 2010 20:28:44 +0000
Subject: Boogie: Whoops, forgot to check this in.  Sorry if it broke the
 build.

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

(limited to 'Source')

diff --git a/Source/Provers/Isabelle/version.cs b/Source/Provers/Isabelle/version.cs
new file mode 100644
index 00000000..2804c330
--- /dev/null
+++ b/Source/Provers/Isabelle/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