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/zchaff/zchaffParser.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/zchaff/zchaffParser.ml')

diff --git a/src/zchaff/zchaffParser.ml b/src/zchaff/zchaffParser.ml
index c4a2f62..e3db7b6 100644
--- a/src/zchaff/zchaffParser.ml
+++ b/src/zchaff/zchaffParser.ml
@@ -11,7 +11,6 @@
 
 
 open SatParser
-open SmtForm
 open SmtCertif
 open SmtTrace
 
@@ -58,7 +57,7 @@ let parse_CL reloc lb last =
 
 (* Parsing of the VAR and CONF part *)
 
-let var_of_lit l = l lsr 1
+(* let var_of_lit l = l lsr 1 *)
 
 type var_key =
   | Var of int
-- 
cgit