diff options
author | Gabriel Dos Reis <GabrielDosReis@users.noreply.github.com> | 2022-08-21 13:01:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-21 13:01:37 -0700 |
commit | 0f612f581a6d58a4d3ceed0ade26e04681b32e13 (patch) | |
tree | 3ad3907873f66a5d9bc463328e5817db0ff83e6e /src/doc/ps/h-alldoms.ps | |
parent | 3dc479ae544db8bc9224f183f33cb3e16fe2daac (diff) | |
download | open-axiom-0f612f581a6d58a4d3ceed0ade26e04681b32e13.tar.gz |
Boot parser: Remove useless AST functions (#17)
A couple of the Boot AST building functions are identity functions. Remove to reduce obfuscation.
Diffstat (limited to 'src/doc/ps/h-alldoms.ps')
0 files changed, 0 insertions, 0 deletions