Controller_itp: don't catch Not_found, so that the backtrace for this... (!796) · Merge requests · Why3 / why3

Controller_itp: don't catch Not_found, so that the backtrace for this exception is visibile in debug mode.

Controller_itp: don't catch Not_found, so that the backtrace for this...