diff options
| author | Pierre-Marie Pédrot | 2016-03-19 21:26:58 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 21:36:45 +0100 |
| commit | 64d9e1d1b9875c64613c7c5a95c696ab3e6f04cb (patch) | |
| tree | fe88fa20c84cfaf1f0ed2e48ac6282059e05cb9f /kernel/nativelambda.mli | |
| parent | 25d49062425ee080d3e8d06920d3073e7a81b603 (diff) | |
Moving the use of Tactic_option from Obligations to G_obligations.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions