diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-07 02:35:01 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-07 02:35:01 +0000 |
commit | 58566223a7545abff4da2dabc323795e98711a94 (patch) | |
tree | 30f874b2a955292da75c63fa0fdde8ccf38b993b /src/interp | |
parent | 3211bee5956a195168721f7d85737bc6e2ad2a2b (diff) | |
download | open-axiom-58566223a7545abff4da2dabc323795e98711a94.tar.gz |
* utils/vm.H: Redefine value representation.
Diffstat (limited to 'src/interp')
0 files changed, 0 insertions, 0 deletions