From ca96e3974019ca956f46c91eb07b2c2dfede1d29 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 9 Sep 2015 07:02:54 -0400
Subject: Fix #90

The mono wrapper for Dafny didn't forward command line arguments.
---
 Binaries/dafny | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Binaries')

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" "$@"
-- 
cgit v1.2.3