diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2018-02-01 06:04:27 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2018-02-01 06:04:27 -0800 |
commit | d113f3f7ba119fecd9d946bced8d3dfe9456b933 (patch) | |
tree | 2884185a3966718504cf6a14ddd4da42364604af /src/input/arith.input.pamphlet | |
parent | 7dfe7a715b7baad376fe10f475fc4414ad235572 (diff) | |
download | open-axiom-d113f3f7ba119fecd9d946bced8d3dfe9456b933.tar.gz |
Fix thinko
Existing code did not supply the domain to export from, hence supplying one fewer argument to `genImportDeclaration`. Issue discovered by build with CLISP.
Diffstat (limited to 'src/input/arith.input.pamphlet')
0 files changed, 0 insertions, 0 deletions