diff options
| author | Jason Gross | 2017-04-11 12:34:07 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-04-25 15:13:25 -0400 |
| commit | b348a11ccc4913598b72e4ecbb58811bcccd7bfc (patch) | |
| tree | d28b04019de65139f7adf5300b68498dcc483b19 /kernel/nativecode.ml | |
| parent | 12f34b2ebfcbe958ba53b49399c3fcaf01f7a18c (diff) | |
Make opaque optional only for tclABSTRACT
Also move named arguments to the beginning of the functions. As per
https://github.com/coq/coq/pull/201#discussion_r110928302
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions