diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-19 01:20:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 01:20:14 +0000 |
commit | 70d7d82522e987951b9f335b6c453153b4ebe6a0 (patch) | |
tree | d7a56b3ab3e57d7b2553d1e025768deb56f1b983 /src/hyper/Makefile.in | |
parent | 285018634c5e4a54f18ae1b65a2e901b82ffdaf3 (diff) | |
download | open-axiom-70d7d82522e987951b9f335b6c453153b4ebe6a0.tar.gz |
* interp/define.boot (knownPred): Take a memo-table as third parameter.
Diffstat (limited to 'src/hyper/Makefile.in')
0 files changed, 0 insertions, 0 deletions