Merge branch 'smtv2-dont-fail-on-untyped-prover-vars' into 'master'
[why3.git] / .ocp-indent
blob9301cc3756162c719c7cbef12772aa878763bf49
1 match_clause = 4