From 24d60fa5654a32b09dc8de79b7704fbf40051478 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 11 May 2013 17:36:07 -0500
Subject: Preliminary version of finite model finding over bounded integer
 quantification. Minor update to casc script.

---
 contrib/run-script-casc24-fnt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib')

diff --git a/contrib/run-script-casc24-fnt b/contrib/run-script-casc24-fnt
index ef3cd4b65..c53ac4be9 100755
--- a/contrib/run-script-casc24-fnt
+++ b/contrib/run-script-casc24-fnt
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cvc4=cvc4
+cvc4=./cvc4
 bench="$1"
 
 file=${bench##*/}
-- 
cgit v1.2.3