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" "$@"