diff options
Diffstat (limited to 'Source/DafnyMenu/DafnyMenu.csproj')
| -rw-r--r-- | Source/DafnyMenu/DafnyMenu.csproj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyMenu/DafnyMenu.csproj b/Source/DafnyMenu/DafnyMenu.csproj index c3a1647b..7e9fb302 100644 --- a/Source/DafnyMenu/DafnyMenu.csproj +++ b/Source/DafnyMenu/DafnyMenu.csproj @@ -80,6 +80,7 @@ <Reference Include="System" />
<Reference Include="System.Core" />
<Reference Include="System.Design" />
+ <Reference Include="System.Drawing" />
<Reference Include="System.Windows.Forms" />
<Reference Include="WindowsBase" />
</ItemGroup>
|