diff options
| author | Kazuhiko Sakaguchi | 2020-06-20 20:45:15 +0900 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2020-06-20 21:58:49 +0900 |
| commit | 8095d7d14cea6937346b960063d90cbb159612df (patch) | |
| tree | 609ea84add5d5fca94882e104872b2970749fc57 /kernel/nativecode.ml | |
| parent | 43dba0d74b6cc39eea149c2908291e9108d21e71 (diff) | |
Add a pre-hook mechanism for the `zify` tactic
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions