From ec41af7ac01cef7c30785e6dd704381f31e7c2d3 Mon Sep 17 00:00:00 2001
From: ckeller <ckeller@users.noreply.github.com>
Date: Thu, 14 Feb 2019 20:09:40 +0100
Subject: V8.7 (#36)

Port SMTCoq to Coq-8.7
---
 src/trace/smtCertif.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/trace/smtCertif.ml')

diff --git a/src/trace/smtCertif.ml b/src/trace/smtCertif.ml
index b1468e4..6ce6997 100644
--- a/src/trace/smtCertif.ml
+++ b/src/trace/smtCertif.ml
@@ -10,8 +10,6 @@
 (**************************************************************************)
 
 
-open SmtForm
-
 type used = int
 
 type clause_id  = int
-- 
cgit