Skip to content
GitLab

fixing a bug in pattern_matching.ml substitution

Merged 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