diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-06-16 15:53:36 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-06-16 15:53:36 +0200 |
commit | a452e436af72ccc1b8342ac6b666f0ff202cc20a (patch) | |
tree | 6f77b0df5503cfe07f0c423f95b2e0e91fc05afd /engine/proofview.mli | |
parent | 568aa9dff652d420e66cda7914d4bc265bb276e7 (diff) | |
parent | 57940361863fb121f8b7bf2cb061fc4ab34da9e5 (diff) |
Merge PR #211: Fix a printing typo in LtacProf.
Diffstat (limited to 'engine/proofview.mli')
0 files changed, 0 insertions, 0 deletions