From cae9d2a8a2897415b21e3673a99330a4c0a85a58 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 17 May 2023 15:47:06 +0100
Subject: Add initial files and smtcoq

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitmodules

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..b37459b
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lib/smtcoq"]
+	path = lib/smtcoq
+	url = git@gitlab.inria.fr:compcertgssa/smtcoq
-- 
cgit