From 0123035a0a6f05a75f64b13ddd16c78842ccec74 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 7 Jan 2022 09:06:58 +0100
Subject: we need to use external Flocq, the one that goes with gappa lib

---
 config_kvx.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config_kvx.sh')

diff --git a/config_kvx.sh b/config_kvx.sh
index 9040c23b..289f6f0a 100755
--- a/config_kvx.sh
+++ b/config_kvx.sh
@@ -1 +1 @@
-exec ./config_simple.sh kvx-cos "$@"
+exec ./config_simple.sh kvx-cos -use-external-Flocq "$@"
-- 
cgit