Update golden results

petr-bauch · petr-bauch · commit 3e482994e530 · 2019-05-22T09:01:05.000+01:00
diff --git a/experiments/golden-results/vct-summary.txt b/experiments/golden-results/vct-summary.txt
@@ -125,7 +125,7 @@ Raw compiler error message:
 --
 Occurs: 1 times
 +===========================GNAT BUG DETECTED==============================+
-| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:115|
+| GNU Ada (ada2goto) Assert_Failure failed precondition from goto_utils.ads:140|
 | Error detected at system.ads:156:5                                       |
 --
 Occurs: 1 times
