From 72c5a7d56faa2b07a6eb71efa7bb4b947919dfc2 Mon Sep 17 00:00:00 2001
From: Alex English <alex@Compy.home.alexenglish.info>
Date: Mon, 14 May 2018 06:58:14 -0700
Subject: [PATCH] Added ability to invoke src/fiat/verus from any cwd. Added
 executable permission.

---
 src/fiat/verus | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/fiat/verus b/src/fiat/verus
index e0e37ab96..0bcc79fd2 100644
--- a/src/fiat/verus
+++ b/src/fiat/verus
@@ -1,2 +1,7 @@
 #!/bin/bash
-./komodo-cli -ac_name=VERUSTEST "$@"
+
+#set working directory to the location of this script
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+cd $DIR
+
+../komodo-cli -ac_name=VERUSTEST "$@"