1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/dafny b/scripts/dafny
deleted file mode 100755
index 93b26a7..0000000
--- a/scripts/dafny
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-# get args
-file="${!#}"
-set -- "${@:1:$(($#-1))}"
-args="$@"
-
-cat "$file" | ssh vm "tee ~/dafny/torun.dfy > /dev/null; dafny $args ~/dafny/torun.dfy"