diff options
| author | Hugo Herbelin | 2015-01-24 22:25:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-24 22:27:57 +0100 |
| commit | 27aec3933031ec5e87738965c25ffa51863c9400 (patch) | |
| tree | 5eb5e3704ee7357dba5f079e6ed766cbaa9ed9cb /kernel/nativelambda.mli | |
| parent | bb37153d90de103dabd02285d11b3c39e3e4f89c (diff) | |
Doc: Fixing some compilation problems with chapter Canonical
Structures. Text mode + a "Require Import" in a module which provokes
suspect warnings "Exception Not_found".
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions