diff options
| author | Jasper Hugunin | 2020-12-15 20:51:29 -0800 |
|---|---|---|
| committer | Jasper Hugunin | 2020-12-15 20:51:29 -0800 |
| commit | 29c881414cf1ae7c6c882c1285f72b5d5cba1b4e (patch) | |
| tree | 903466462b53ff4fe1018511453b4de91e27f342 /kernel/nativecode.mli | |
| parent | 511a81ab5826ecf2f0eae2447da7a3f83b660003 (diff) | |
Modify Classes/DecidableClass.v to compile with -mangle-names
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions