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 /tactics/hipattern.mli | |
parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) |
check for Num lib if OCaml >= 4.06, #6162
Diffstat (limited to 'tactics/hipattern.mli')
0 files changed, 0 insertions, 0 deletions