diff options
| author | Jasper Hugunin | 2020-10-08 17:16:38 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-10-08 17:16:38 -0700 |
| commit | 4ffac2e8788dfc29b03a9eb19e427d8e4bb0961d (patch) | |
| tree | 7a012c7de5f367ec43d2270a5a40d07557be41ba /kernel | |
| parent | c5f76701ba9c42f8c4ce9881f05904dff677050c (diff) | |
Modify Numbers/Integer/Abstract/ZPow.v to compile with -mangle-names
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions