From 29bee524cccfe08c680f655b1969a4c421e0a969 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 26 Nov 2020 01:00:13 +0000
Subject: Fix build for Coq 8.12.1

---
 src/hls/PrintHTL.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/hls/PrintHTL.ml')

diff --git a/src/hls/PrintHTL.ml b/src/hls/PrintHTL.ml
index 44f8b01..a75d0ee 100644
--- a/src/hls/PrintHTL.ml
+++ b/src/hls/PrintHTL.ml
@@ -16,7 +16,6 @@
  * along with this program.  If not, see <https://www.gnu.org/licenses/>.
  *)
 
-open Value
 open Datatypes
 open Camlcoq
 open AST
-- 
cgit