diff options
author | wuestholz <unknown> | 2013-05-26 18:44:37 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-26 18:44:37 -0700 |
commit | ef3ccef52b432a7d5c8c7db2add8102bd281b58c (patch) | |
tree | 35c777f2ff210cafc9e1ed5b76f461a793a3c9f1 /Source/DafnyExtension/DafnyExtension.csproj | |
parent | 5c44f1f01eb696c596abc453cb8cb24f42811b95 (diff) |
DafnyExtension: Added a button to the menu for stopping/starting the verifier.
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 9399a1d2..844699ee 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
<PropertyGroup>
@@ -228,4 +228,4 @@ copy /y $(SolutionDir)\..\Binaries\DafnyRuntime.cs $(ProjectDir)</PreBuildEvent> <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |