diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-07-28 17:32:30 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-07-28 17:32:30 +0200 |
| commit | 524bff66f40908dc3d17b6a18ee4253a2e61093e (patch) | |
| tree | 17b442df07fa622dc2a600e278d6844262276ab3 /interp/implicit_quantifiers.mli | |
| parent | 0621891c4ba7606d91e614408378af17d3b0aee3 (diff) | |
Adding a test for bug #4280.
Diffstat (limited to 'interp/implicit_quantifiers.mli')
0 files changed, 0 insertions, 0 deletions