diff options
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.sscproj')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.sscproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.sscproj index d2818f25..584a5e81 100644 --- a/Source/BoogieDriver/BoogieDriver.sscproj +++ b/Source/BoogieDriver/BoogieDriver.sscproj @@ -130,7 +130,7 @@ </Build>
<Files>
<Include>
- <File RelPath="BoogieDriver.ssc"
+ <File RelPath="BoogieDriver.cs"
SubType="Code"
BuildAction="Compile"
/>
@@ -140,7 +140,7 @@ />
<File BuildAction="Compile"
SubType="Code"
- RelPath="AssemblyInfo.ssc"
+ RelPath="AssemblyInfo.cs"
/>
</Include>
</Files>
|