diff options
Diffstat (limited to 'src/grt/grt-psl.adb')
| -rw-r--r-- | src/grt/grt-psl.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/grt/grt-psl.adb b/src/grt/grt-psl.adb index 0ff366f89..04c338a21 100644 --- a/src/grt/grt-psl.adb +++ b/src/grt/grt-psl.adb @@ -171,7 +171,7 @@ package body Grt.Psl is Report_Stream := F; Status := Psl_Traverse_Blocks (Get_Top_Context); - pragma Assert (Status = Traverse_Ok); + pragma Assert (Status = Traverse_Ok or Status = Traverse_Skip); Put_Line (F, "],"); Put_Line (F, " ""summary"" : {"); |