diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-19 19:42:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-19 19:42:39 +0000 |
commit | 7a471005ed325c3329af5bbc55038a7f9db6f870 (patch) | |
tree | 591b19042e9ca29701c7f8efdd0df4e15172ec2a /src/algebra/tableau.spad.pamphlet | |
parent | 07d359345fe388c7126bcfd629ba19f3652e66c5 (diff) | |
download | open-axiom-7a471005ed325c3329af5bbc55038a7f9db6f870.tar.gz |
* driver/utils.c (openaxiom_build_rts_options): Fix thinko.
Diffstat (limited to 'src/algebra/tableau.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions