[econstr] Flag to make to_constr fail if its output contains evars#6454
Merged
ppedrot merged 1 commit intocoq:masterfrom ejgallego:evar+strict_to_constrApr 13, 2018
+69-46
to_constr fail if its output contains evars#6454