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/Value.v | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/hls/Value.v')

diff --git a/src/hls/Value.v b/src/hls/Value.v
index d6a3d8b..0d3ea66 100644
--- a/src/hls/Value.v
+++ b/src/hls/Value.v
@@ -1,4 +1,4 @@
-(*
+(*(*
  * Vericert: Verified high-level synthesis.
  * Copyright (C) 2020 Yann Herklotz <yann@yannherklotz.com>
  *
@@ -549,3 +549,4 @@ Proof.
     apply Nat2Z.inj_lt in H2.
     assumption.
 Qed.
+*)
-- 
cgit