aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/ghdlsynth_gates.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/ghdlsynth_gates.h')
-rw-r--r--src/synth/ghdlsynth_gates.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/ghdlsynth_gates.h b/src/synth/ghdlsynth_gates.h
index bb8f6a4af..43fc416b0 100644
--- a/src/synth/ghdlsynth_gates.h
+++ b/src/synth/ghdlsynth_gates.h
@@ -58,6 +58,7 @@ enum Module_Id {
Id_Edge = 71,
Id_Assert = 72,
Id_Assume = 73,
+ Id_Cover = 74,
Id_Const_UB32 = 96,
Id_Const_SB32 = 97,
Id_Const_UL32 = 98,