diff options
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.sscproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.sscproj b/Source/BoogieDriver/BoogieDriver.sscproj index 584a5e81..bf95f536 100644 --- a/Source/BoogieDriver/BoogieDriver.sscproj +++ b/Source/BoogieDriver/BoogieDriver.sscproj @@ -130,7 +130,7 @@ </Build>
<Files>
<Include>
- <File RelPath="BoogieDriver.cs"
+ <File RelPath="BoogieDriver.ssc"
SubType="Code"
BuildAction="Compile"
/>
@@ -140,9 +140,9 @@ />
<File BuildAction="Compile"
SubType="Code"
- RelPath="AssemblyInfo.cs"
+ RelPath="AssemblyInfo.ssc"
/>
</Include>
</Files>
</XEN>
-</VisualStudioProject>
\ No newline at end of file +</VisualStudioProject>
|