diff options
| author | Jasper Hugunin | 2020-09-12 18:04:01 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-09-16 12:46:57 -0700 |
| commit | 2f670dce285c04c66729022b2b8b8ea65bba744b (patch) | |
| tree | d459cc201d67931b5e5102cb50b219ce5bccc120 /doc/plugin_tutorial/tuto1/src/inspector.ml | |
| parent | 9daa2ec464eb9b881cab7d53fd39efc5de3afe12 (diff) | |
Modify setoid_ring/Ring_theory.v to compile with -mangle-names
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/inspector.ml')
0 files changed, 0 insertions, 0 deletions