diff options
Diffstat (limited to 'src')
| -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, | 
