Use an exception to leave Solving_loop.process_source
. (#1256)
#2313
Loading
Solving_loop.process_source
. (#1256)
#2313