From 4d262face34cb79d478823fd8db32cf02dc187f8 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 21 Jun 2023 18:57:33 +0100
Subject: Add SMTCoq solver as dependency

---
 lib/cohpred | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/cohpred')

diff --git a/lib/cohpred b/lib/cohpred
index 66a6354..ebcf34c 160000
--- a/lib/cohpred
+++ b/lib/cohpred
@@ -1 +1 @@
-Subproject commit 66a63543cd9d7612b4f51bd8c27433232f18ded0
+Subproject commit ebcf34c3c6041cdf0c96bbf116c3622ea8df4dc9
-- 
cgit