diff --git a/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
index c0fd54e9..f37b297f 100644
--- a/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
+++ b/Microsoft.Research/ManagedContract.Setup/MSBuild/v15.0/Microsoft.CodeContracts.targets
@@ -289,9 +289,10 @@
     </ItemGroup>
   </Target>
 
+  <!-- sn.exe does not exist in .NET Core, so don't run this target in .NET Core -->
   <Target
      Name="CodeContractReSign"
-     Condition="'$(DelaySign)' != 'true'"   
+     Condition="'$(DelaySign)' != 'true' and '$(UsingMicrosoftNETSdk)' != 'true'"   
      >
     <GetFrameworkSdkPath>
       <Output