diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-09 07:02:54 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-09 07:02:54 -0400 |
| commit | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (patch) | |
| tree | 1cf35270aa550ae97f2292f7b28278673a6c710d /Binaries | |
| parent | 510623d57984f81105c621c898c60c79d3a32c0f (diff) | |
Fix #90
The mono wrapper for Dafny didn't forward command line arguments.
Diffstat (limited to 'Binaries')
| -rwxr-xr-x | Binaries/dafny | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Binaries/dafny b/Binaries/dafny index b8571bec..889ebc81 100755 --- a/Binaries/dafny +++ b/Binaries/dafny @@ -13,4 +13,4 @@ if [[ ! -x "$DAFNY" ]]; then exit 1 fi -"$MONO" "$DAFNY" +"$MONO" "$DAFNY" "$@" |