1 files changed, 0 insertions, 0 deletions

diff --git a/lib/smtcoq b/lib/smtcoq
new file mode 160000
+Subproject 701e01815525eba925d1bf3060205f1adbb232b