Skip to content

fixing a bug in pattern_matching.ml substitution

Rémi requested to merge fixing-subst-pm into dev

type:fixed

E_recursive was not handled in substitution of pattern_matching.ml

Changelog details: Fix a bug related to recursive function definitions in pattern matching

Merge request reports