diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-13 11:51:04 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-13 11:51:04 -0700 |
| commit | e4cefb56b4312d7c2bf88d9ba3c3bfd2e00940e9 (patch) | |
| tree | 421049d979a73859b13bca1172eab1d62a89f674 /Source/Dafny/DafnyPipeline.csproj | |
| parent | e90a947a54044487e8ccf984033b1113eac0d49e (diff) | |
Register the trigger generator as a a rewriter in the Resolver.
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index f9540aa0..a1452b8a 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.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">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -143,6 +143,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="Cloner.cs" />
+ <Compile Include="TriggerGenerator.cs" />
<Compile Include="Util.cs" />
<Compile Include="Compiler.cs" />
<Compile Include="BigIntegerParser.cs" />
@@ -192,4 +193,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |