diff options
| author | Jasper Hugunin | 2020-10-08 17:24:31 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-10-08 17:24:31 -0700 |
| commit | 8c3231dc17e851a2c1e2777833f6fa5e24ba5e8e (patch) | |
| tree | 4cb8d15fc802fcdef8daa1ca35001e11b6191754 /kernel/type_errors.ml | |
| parent | 806421fb3d9d307e5ec84a6b45d419befb636b44 (diff) | |
Modify Numbers/Integer/Abstract/ZDivFloor.v to compile with -mangle-names
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions