diff options
| -rw-r--r-- | src/synth/ghdlsynth_gates.h | 1 |
1 files changed, 1 insertions, 0 deletions
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, |