-# Copyright 1999-2016 Free Software Foundation, Inc.
+# Copyright 1999-2017 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# Because runto_main doesn't know how to handle the prompt with annotations,
# run to main before we set the annotation level.
if ![runto_main] then {
-- fail "Can't run to main"
-- return 1
+ fail "can't run to main"
+ return 1
}
# NOTE: this prompt is OK only when the annotation level is > 1