diff options
| author | Hugo Herbelin | 2015-02-21 15:43:32 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-02-21 15:43:32 +0100 |
| commit | cf6a68b45b506be1dc2d37b0daefeaf18ff7c77a (patch) | |
| tree | 3cccf5cddf7432ae9d47393759ffe2ce8db840eb /interp/constrextern.ml | |
| parent | dd56cc810971c407b2aecfffc82de7fc4332320a (diff) | |
Removing need for ensure_evar_independent by passing a force flag to is_constrainable_in to do the job of ensuring that ?p does not belong to the ti while solving ?p[...]:=?n[t1..tn].
Diffstat (limited to 'interp/constrextern.ml')
0 files changed, 0 insertions, 0 deletions