diff options
Diffstat (limited to 'Binaries/PrepareBoogieZip.bat')
| -rw-r--r-- | Binaries/PrepareBoogieZip.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Binaries/PrepareBoogieZip.bat b/Binaries/PrepareBoogieZip.bat index 4c73ab2a..20b0898e 100644 --- a/Binaries/PrepareBoogieZip.bat +++ b/Binaries/PrepareBoogieZip.bat @@ -12,6 +12,7 @@ for %%f in ( Basetypes.dll Basetypes.pdb Boogie.exe Boogie.pdb Core.dll Core.pdb + CodeContractsExtender.dll CodeContractsExtender.pdb Dafny.exe Dafny.pdb DafnyPipeline.dll DafnyPipeline.pdb Graph.dll Graph.pdb |