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/lfsc/lfscParser.mly | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/lfsc/lfscParser.mly')

diff --git a/src/lfsc/lfscParser.mly b/src/lfsc/lfscParser.mly
index 26de090..3d6749f 100644
--- a/src/lfsc/lfscParser.mly
+++ b/src/lfsc/lfscParser.mly
@@ -16,7 +16,6 @@
 open Ast
 open Lexing
 open Format
-open Builtin
 
 let parse_failure what =
   let pos = Parsing.symbol_start_pos () in
-- 
cgit