diff options
Diffstat (limited to 'Binaries/PrepareDafnyZip.bat')
| -rw-r--r-- | Binaries/PrepareDafnyZip.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index e2521112..55bc807a 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -20,6 +20,7 @@ for %%f in ( Graph.dll Graph.pdb Houdini.dll Houdini.pdb Model.dll Model.pdb + ModelViewer.dll ModelViewer.pdb ParserHelper.dll ParserHelper.pdb Provers.SMTLib.dll Provers.SMTLib.pdb VCExpr.dll VCExpr.pdb |