Fix missing capture of incompleteness errors in RAC
In the import_model_const
function (https://gitlab.inria.fr/why3/why3/-/blob/master/src/mlw/check_ce.ml#L218), a TypeMismatch
exception may be raised by the cases String
and Boolean
, while other cases may raise an Incomplete
exception.
This should be make uniform so that any mismatch raises an Incomplete
exception.