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

---
 src/dune | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/dune

(limited to 'src/dune')

diff --git a/src/dune b/src/dune
new file mode 100644
index 0000000..fdcb9fd
--- /dev/null
+++ b/src/dune
@@ -0,0 +1 @@
+(dirs (:standard \ pipelining))
-- 
cgit