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 /checker/check.ml | |
| parent | 4444768d3f4f9c4fcdd440f7ab902886bd8e2b09 (diff) | |
Wrapped the declare_object function to pretty-print anomalies at loading time.
Diffstat (limited to 'checker/check.ml')
0 files changed, 0 insertions, 0 deletions