diffblue
diff --git a/‎.github/workflows/vs2019/cbmc-dbghelp.patch
Lines changed: 0 additions & 11 deletions b/‎.github/workflows/vs2019/cbmc-dbghelp.patch
Lines changed: 0 additions & 11 deletions
diff --git a/‎.github/workflows/vs2019/cbmc-install.patch
Lines changed: 0 additions & 13 deletions b/‎.github/workflows/vs2019/cbmc-install.patch
Lines changed: 0 additions & 13 deletions
diff --git a/‎.github/workflows/vs2019/patch-cbmc.bat
Lines changed: 3 additions & 2 deletions b/‎.github/workflows/vs2019/patch-cbmc.bat
Lines changed: 3 additions & 2 deletions
@@ -4,5 +4,6 @@ REM Set up PATH to find Git Bash shell tools
 PATH=%PATH%;"c:\Program Files\Git\usr\bin"
 
 REM Patch CBMC with Visual Studio patches
-patch -p1 < .github\workflows\vs2019\cbmc-install.patch
-patch -p1 < .github\workflows\vs2019\cbmc-dbghelp.patch
+
+REM Currently nothing to patch
+REM patch -p1 < .github\workflows\vs2019\PATCHFILE.patch