diff options
| author | Pierre-Marie Pédrot | 2019-11-11 17:26:57 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-11-11 17:37:11 +0100 |
| commit | 1849b0b7d1e16e2ce0dbb1eeeec391727953c529 (patch) | |
| tree | 2d4fe600e7154aa8c631faf1285b7cdc9b870291 /interp/implicit_quantifiers.ml | |
| parent | 73821fcf0cb0b87b7cf339e93ff9a5020ddd2644 (diff) | |
Do not export the internals of the prepare_hint function.
This statically ensures more invariants and moves a global declaration out
of this function.
Diffstat (limited to 'interp/implicit_quantifiers.ml')
0 files changed, 0 insertions, 0 deletions