diff options
Diffstat (limited to 'debian/bin/dafny')
-rwxr-xr-x | debian/bin/dafny | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/bin/dafny b/debian/bin/dafny index 8950cf84..b4173036 100755 --- a/debian/bin/dafny +++ b/debian/bin/dafny @@ -1,2 +1,2 @@ #!/bin/sh -exec /usr/bin/cli /usr/lib/dafny/Dafny.exe /z3exe:/usr/bin/z3 "$@" +exec /usr/bin/cli /usr/lib/dafny/Dafny.exe "$@" |