Skip to content

Commit 6639ba6

Browse files
committed
Update Stratox golden results - line number change.
1 parent 6e2a06d commit 6639ba6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

experiments/golden-results/StratoX-summary.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1750,7 +1750,7 @@ Error detected at REDACTED
17501750
--
17511751
Occurs: 3 times
17521752
+===========================GNAT BUG DETECTED==============================+
1753-
| GNU Ada (ada2goto) Assert_Failure tree_walk.adb:998 |
1753+
| GNU Ada (ada2goto) Assert_Failure tree_walk.adb:996 |
17541754
Error detected at REDACTED
17551755
--
17561756
Occurs: 2 times

0 commit comments

Comments
 (0)