diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-05 10:45:45 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-05 10:45:45 -0700 |
| commit | 1a09184a77ca09605f93462b1cff15e21d7f319c (patch) | |
| tree | 4dc88e2c63b00a0bf7b2bad958013730227814a3 /Source/ModelViewer | |
| parent | e129afe1528a5213c56171dd12afaadb1e219d4c (diff) | |
fixed the key signing problem with houdini
started adding bct provider
Diffstat (limited to 'Source/ModelViewer')
| -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 6262ae2f..3a25e5cc 100644 --- a/Source/ModelViewer/ModelViewer.csproj +++ b/Source/ModelViewer/ModelViewer.csproj @@ -113,6 +113,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="BaseProvider.cs" />
+ <Compile Include="BCTProvider.cs" />
<Compile Include="DafnyProvider.cs" />
<Compile Include="DataModel.cs" />
<Compile Include="Main.cs">
|