diff options
Diffstat (limited to 'Source/ModelViewer/ModelViewer.csproj')
-rw-r--r-- | Source/ModelViewer/ModelViewer.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj index 413abd67..3027900a 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -68,6 +68,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BaseProvider.cs" />
+ <Compile Include="DafnyProvider.cs" />
<Compile Include="DataModel.cs" />
<Compile Include="Main.cs">
<SubType>Form</SubType>
|