diff options
| author | Emilio Jesus Gallego Arias | 2019-08-14 18:21:10 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-08-14 21:19:04 +0200 |
| commit | f10cc5bbadf94210cc2ddc3835cc09228d71bde7 (patch) | |
| tree | d50a38530e7e77b984c3640a1c7b7ccad4b19110 /interp/implicit_quantifiers.ml | |
| parent | d2bf9204b83682f0da579fc3accf35125e55c302 (diff) | |
[vernac] Refactor common parts of interp_{,delayed}
This should fix some bugs w.r.t. management of state introduced in
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions