Kiyoshi KANAZAWA wrote:
Yes, error is produced. [...]
Good; I believe that the error adequately explains the problem, so I will mark this issue as resolved. If you encounter further problems with this, or have a better way to describe the problem in the error message, feel free to continue to reply on this issue. If you find other problems, please do not hesitate to report a new bug.
Thanks, -- Jacob _______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
