diff options
author | qadeer <unknown> | 2013-12-09 18:40:29 -0800 |
---|---|---|
committer | qadeer <unknown> | 2013-12-09 18:40:29 -0800 |
commit | ae0332cea1ff9cc65a239fddbc588cbaf73ac140 (patch) | |
tree | de454c8596be960a2ccbf79f144976ecfc79dc94 /Source/BoogieDriver | |
parent | d7bf93bf834d9856de385de7c2d980aaf09802ca (diff) |
various updates
Diffstat (limited to 'Source/BoogieDriver')
-rw-r--r-- | Source/BoogieDriver/BoogieDriver.csproj | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj index f5c366a0..14d607f9 100644 --- a/Source/BoogieDriver/BoogieDriver.csproj +++ b/Source/BoogieDriver/BoogieDriver.csproj @@ -225,7 +225,7 @@ <OutputPath>..\..\Binaries\</OutputPath>
<DefineConstants>TRACE;DEBUG</DefineConstants>
<DebugType>full</DebugType>
- <PlatformTarget>x86</PlatformTarget>
+ <PlatformTarget>AnyCPU</PlatformTarget>
<ErrorReport>prompt</ErrorReport>
<CodeAnalysisRuleSet>AllRules.ruleset</CodeAnalysisRuleSet>
<CodeAnalysisIgnoreBuiltInRuleSets>false</CodeAnalysisIgnoreBuiltInRuleSets>
|