diff --git a/.github/scripts/abcexe.vcxproj b/.github/scripts/abcexe.vcxproj index 817e0809e..950021017 100644 --- a/.github/scripts/abcexe.vcxproj +++ b/.github/scripts/abcexe.vcxproj @@ -33,6 +33,7 @@ Level3 4146;4334;4996;4703;%(DisableSpecificWarnings) + 4013 true true true diff --git a/.github/scripts/abclib.vcxproj.template b/.github/scripts/abclib.vcxproj.template index 77498528d..9b21d325f 100644 --- a/.github/scripts/abclib.vcxproj.template +++ b/.github/scripts/abclib.vcxproj.template @@ -32,6 +32,7 @@ Level3 4146;4334;4996;4703;%(DisableSpecificWarnings) + 4013 true true true