diff options
author | Thomas Sibut-Pinote <thomas.sibut-pinote@inria.fr> | 2015-06-23 14:57:14 +0200 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2015-06-23 18:21:33 +0200 |
commit | bb8dd8212efb839746e050062b108b33632ba224 (patch) | |
tree | dbddf59d3fdbd4de0ac5368a94d652d3020ba529 /proofs/tacmach.mli | |
parent | 4444768d3f4f9c4fcdd440f7ab902886bd8e2b09 (diff) |
Wrapped the declare_object function to pretty-print anomalies at loading time.
Diffstat (limited to 'proofs/tacmach.mli')
0 files changed, 0 insertions, 0 deletions