1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-cascj7-fnt b/contrib/run-script-cascj7-fnt
index 2c9c6b76f..e3ad1a2ff 100755
--- a/contrib/run-script-cascj7-fnt
+++ b/contrib/run-script-cascj7-fnt
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cvc4=cvc4
+cvc4=./cvc4
 bench="$1"
 
 file=${bench##*/}