From 5ee9dfaf970de672aa379ea466bf48292bcd41cf Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Sat, 7 Jul 2018 16:37:00 +0100
Subject: Coq: bbv have reorganised their repository

---
 test/coq/run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/coq')

diff --git a/test/coq/run_tests.sh b/test/coq/run_tests.sh
index 2be5e535..5a723a06 100755
--- a/test/coq/run_tests.sh
+++ b/test/coq/run_tests.sh
@@ -5,7 +5,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 SAILDIR="$DIR/../.."
 TYPECHECKTESTSDIR="$DIR/../typecheck/pass"
 EXTRATESTSDIR="$DIR/pass"
-BBVDIR="$DIR/../../../bbv"
+BBVDIR="$DIR/../../../bbv/theories"
 
 RED='\033[0;31m'
 GREEN='\033[0;32m'
-- 
cgit v1.2.3