diff options
author | wuestholz <unknown> | 2011-01-10 15:34:08 +0000 |
---|---|---|
committer | wuestholz <unknown> | 2011-01-10 15:34:08 +0000 |
commit | efb03bcad2d73404a9418759223d8de31fa13d38 (patch) | |
tree | b35e73fa0c4ca7430b6a3aa2c9cabc388e1538cf /Binaries/PrepareBoogieZip.bat | |
parent | 108dcf79dfe42bdb349e496e271ac2a7c7083b98 (diff) |
Boogie: Updated 'PrepareBoogieZip.ba?t'.
Diffstat (limited to 'Binaries/PrepareBoogieZip.bat')
-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% ) |