src/HOL/Matrix_LP/Cplex_tools.ML
changeset 50902 cb2b940e2fdf
parent 47455 26315a545e26
child 51930 52fd62618631
     1.1 --- a/src/HOL/Matrix_LP/Cplex_tools.ML	Tue Jan 15 16:34:19 2013 +0100
     1.2 +++ b/src/HOL/Matrix_LP/Cplex_tools.ML	Tue Jan 15 17:28:46 2013 +0100
     1.3 @@ -1148,7 +1148,7 @@
     1.4          result
     1.5      end
     1.6      handle (Load_cplexResult s) => raise (Execute ("Load_cplexResult: "^s^"\nExecute: "^answer))
     1.7 -         | _ => raise (Execute answer)  (* FIXME avoid handle _ *)
     1.8 +         | exn => if Exn.is_interrupt exn then reraise exn else raise (Execute answer)
     1.9      end
    1.10  
    1.11  fun solve_cplex prog =