From 9ba2ad319e142834d83a0b48e94ef378c870bcdb Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Fri, 19 Jul 2013 11:15:23 +0100 Subject: fix --- Source/BVD/BVD.csproj | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'Source/BVD') diff --git a/Source/BVD/BVD.csproj b/Source/BVD/BVD.csproj index 0b32dd22..448adff7 100644 --- a/Source/BVD/BVD.csproj +++ b/Source/BVD/BVD.csproj @@ -9,7 +9,6 @@ Properties Microsoft.Boogie.ModelViewer BVD - v4.5 512 publish\ true @@ -26,6 +25,8 @@ false false true + 12.0.0 + 2.0 AnyCPU @@ -46,9 +47,6 @@ prompt 4 - - - @@ -67,7 +65,7 @@ - {a678c6eb-b329-46a9-bbfc-7585f01acd7c} + {A678C6EB-B329-46A9-BBFC-7585F01ACD7C} ModelViewer -- cgit v1.2.3