From 17225b5a725b9b24fc70b61df27248fa63f46941 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 21 Oct 2019 21:07:04 +0200
Subject: Regenerate ghdlsynth_gates.h

---
 src/synth/ghdlsynth_gates.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/synth/ghdlsynth_gates.h b/src/synth/ghdlsynth_gates.h
index c5e7336ff..5bae7ad58 100644
--- a/src/synth/ghdlsynth_gates.h
+++ b/src/synth/ghdlsynth_gates.h
@@ -72,6 +72,7 @@ enum Module_Id {
    Id_Assert = 81,
    Id_Assume = 82,
    Id_Cover = 83,
+   Id_Assert_Cover = 84,
    Id_Const_UB32 = 96,
    Id_Const_SB32 = 97,
    Id_Const_UL32 = 98,
-- 
cgit v1.2.3