From 22e7a6b34b4c6704164fba5d0b677711d89a5b9f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 12 Jun 2023 17:52:08 +0100
Subject: Add CohPred and SMTCoq dependency

---
 lib/cohpred | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 lib/cohpred

(limited to 'lib/cohpred')

diff --git a/lib/cohpred b/lib/cohpred
new file mode 160000
index 0000000..f949630
--- /dev/null
+++ b/lib/cohpred
@@ -0,0 +1 @@
+Subproject commit f949630783e17c062d58ade955868883f5610322
-- 
cgit