diff options
| -rw-r--r-- | src/synth/ghdlsynth_gates.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/ghdlsynth_gates.h b/src/synth/ghdlsynth_gates.h index 5bae7ad58..8c62c5f1d 100644 --- a/src/synth/ghdlsynth_gates.h +++ b/src/synth/ghdlsynth_gates.h @@ -73,6 +73,10 @@ enum Module_Id { Id_Assume = 82, Id_Cover = 83, Id_Assert_Cover = 84, + Id_Allconst = 90, + Id_Anyconst = 91, + Id_Allseq = 92, + Id_Anyseq = 93, Id_Const_UB32 = 96, Id_Const_SB32 = 97, Id_Const_UL32 = 98, |