diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-24 08:21:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-24 08:21:17 +0000 |
commit | b244fd5723c6c7951c36a89744240f04eec8c795 (patch) | |
tree | f547c5d880d378fbc56463f7ac23b750fc2a4345 /src/interp/simpbool.boot | |
parent | 914063b53f350130e3fff005e8dba054eb8cca7c (diff) | |
download | open-axiom-b244fd5723c6c7951c36a89744240f04eec8c795.tar.gz |
* interp/define.boot (compDefineFunctor1): Robustify.
* hyper/parse-types.c (htperror): Fix thinko.
Diffstat (limited to 'src/interp/simpbool.boot')
0 files changed, 0 insertions, 0 deletions