ocaml/opam — pull request #1227 by rdicosmo (2014-03-06 15:21:27+00:00)
Title: Ensure that internal heuristics are correctly called 

in the event that external solvers are interrupted.