fix_menhir_inferences.patch
