diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-20 23:59:34 +0000 |
commit | e30c70e6661aff69dcf8f4752ed6679e4ce41fcf (patch) | |
tree | d16c80395a4ac15b1aff3cc7299705347aeb5053 /configure.ac | |
parent | 63f62dc654697c60cfcf98d9fba5c7e1616061b0 (diff) | |
download | open-axiom-e30c70e6661aff69dcf8f4752ed6679e4ce41fcf.tar.gz |
* interp/database.boot (getConstructorAbbreviationFromDB): Use DB
data structure directtly.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions