diff options
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index 5a824c36..13a1e53e 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -147,7 +147,7 @@ <Compile Include="Triggers\QuantifiersCollection.cs" />
<Compile Include="Triggers\QuantifierSplitter.cs" />
<Compile Include="Triggers\TriggerExtensions.cs" />
- <Compile Include="Triggers\TriggerGenerator.cs" />
+ <Compile Include="Triggers\QuantifiersCollector.cs" />
<Compile Include="Triggers\TriggersCollector.cs" />
<Compile Include="Triggers\TriggerUtils.cs" />
<Compile Include="Util.cs" />
|