diff options
| author | Jasper Hugunin | 2020-10-08 16:58:21 -0700 |
|---|---|---|
| committer | Jasper Hugunin | 2020-10-08 16:58:25 -0700 |
| commit | d0be4a3dc582f675b2deecbaffab7f09f4f621cf (patch) | |
| tree | aa2a3b2184d4c019857a1719b4cb1c8d697e09a1 /kernel/vmlambda.mli | |
| parent | 022632c074205bbe9fa3f992782e948c12cb7384 (diff) | |
Modify Numbers/Integer/Abstract/ZAdd.v to compile with -mangle-names
All that really needed to be done was add an explicit intro before
nzinduct, but all the issues in this file could be fixed by moving n m p
before the colon, and I couldn't stop my self.
Diffstat (limited to 'kernel/vmlambda.mli')
0 files changed, 0 insertions, 0 deletions