@@ -36,24 +36,21 @@ WARNING: DO NOT MODIFY this file unless you are knowledgeable about MSBuild and
3636
3737 <PropertyGroup >
3838 <DefaultProjectTypeGuid Condition =" '$(DefaultProjectTypeGuid)' == ''" >{F2A71F9B-5D33-465A-A702-920D77279786}</DefaultProjectTypeGuid ><!-- F# project type-->
39- <DocumentationFile >bin\$(Configuration)\$(AssemblyName).XML</DocumentationFile >
4039 <Prefer32Bit >false</Prefer32Bit >
4140 <Tailcalls >true</Tailcalls >
4241 <TreatWarningsAsErrors >false</TreatWarningsAsErrors >
4342 <WarningLevel Condition =" '$(WarningLevel)' == ''" >3</WarningLevel >
4443 <WarningsAsErrors />
45- <DebugSymbols >true</DebugSymbols >
46- <DebugType >portable</DebugType >
4744 </PropertyGroup >
4845
4946 <PropertyGroup Condition =" '$(Configuration)' == 'Debug'" >
47+ <DebugSymbols >true</DebugSymbols >
5048 <Optimize >false</Optimize >
51- <DefineConstants >$(DefineConstants);DEBUG</DefineConstants >
5249 </PropertyGroup >
5350
5451 <PropertyGroup Condition =" '$(Configuration)' == 'Release'" >
52+ <DebugSymbols >false</DebugSymbols >
5553 <Optimize >true</Optimize >
56- <DefineConstants >$(DefineConstants)</DefineConstants >
5754 </PropertyGroup >
5855
5956 <PropertyGroup Condition =" '$(OS)' != 'Unix' and Exists('$(MSBuildThisFileDirectory)\RunFsc.cmd')" >