diff options
Diffstat (limited to 'src/psl/psl-build.adb')
-rw-r--r-- | src/psl/psl-build.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb index b9a0ccf9b..451466608 100644 --- a/src/psl/psl-build.adb +++ b/src/psl/psl-build.adb @@ -973,7 +973,8 @@ package body PSL.Build is begin case Get_Kind (N) is when N_Sequences - | N_Booleans => + | N_Booleans + | N_Sequence_Instance => -- Build A(S) or A(B) R := Build_SERE_FA (N); return Determinize.Determinize (R); |