diff options
| author |  wuestholz <unknown> | 2010-07-02 10:51:05 +0000 |
|---|---|---|
| committer | wuestholz <unknown> | 2010-07-02 10:51:05 +0000 |
| commit | 5ca0acb4630583e05a97254ae7d302b3408bddca (patch) | |
| tree | cdfb34d028f7eecdee6c4853445e3b7d0c6cee80 | |
| parent | ec9e18370f7763da3d2c47354d8a94a815b06150 (diff) | |
Boogie: Fixed the build.
| -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>
|