tree 1351ffc49e3b5ecb3e3f61554756228accc11063
parent ecac42af735c3fa6abe49ec7cf9ebcd34096b2ac
author Tom Tromey <tromey@adacore.com> 1756920388 -0600
committer Tom Tromey <tromey@adacore.com> 1758900554 -0600

Use exec_and_log in next.py

Some code in next.py avoids exec_and_log due to its exception
behavior.  Now that exec_and_log always forwards exceptions, this is
easily fixed.