diff options
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 496d1ddf..38dff1d1 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -28,9 +28,6 @@ for %%f in ( TypedUnivBackPred2.sx UnivBackPred2.smt UnivBackPred2.sx - FSharp.Core.dll - FSharp.PowerPack.dll - Microsoft.Contracts.dll ) do ( copy %%f %DEST_DIR% ) |