diff options
| author |  Paul Steckler <steck@stecksoft.com> | 2017-12-01 13:28:01 -0500 |
|---|---|---|
| committer | Paul Steckler <steck@stecksoft.com> | 2017-12-01 13:28:01 -0500 |
| commit | 9879cc291512223c72a4cac2ef294c216cf64656 (patch) | |
| tree | e104527f957e66ef5a1c0225f10f606def04cb80 /pretyping | |
| parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) | |
check for Num lib if OCaml >= 4.06, #6162
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions