Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Matrix_LP/Cplex_tools.ML
changeset 50902 cb2b940e2fdf
parent 47455 26315a545e26
child 51930 52fd62618631 
--- a/src/HOL/Matrix_LP/Cplex_tools.ML	Tue Jan 15 16:34:19 2013 +0100
+++ b/src/HOL/Matrix_LP/Cplex_tools.ML	Tue Jan 15 17:28:46 2013 +0100
@@ -1148,7 +1148,7 @@
         result
     end
     handle (Load_cplexResult s) => raise (Execute ("Load_cplexResult: "^s^"\nExecute: "^answer))
-         | _ => raise (Execute answer)  (* FIXME avoid handle _ *)
+         | exn => if Exn.is_interrupt exn then reraise exn else raise (Execute answer)
     end
 
 fun solve_cplex prog =
isabelle