diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-28 19:51:10 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-28 19:51:10 +0000 |
commit | c492f41a58c1299105d58a3561afccd09e0532bc (patch) | |
tree | 723364eec109e2c531f10473b2e16cdfd3a88596 /src/context/Makefile.am | |
parent | e892d95b55fd93fb5b92c230447b5e135da8e07a (diff) |
Replace the sequence of hardcoded addTheory() calls with a use of the theory traits---with the effect that everything with a kinds file is registered as a theory. Eventually we may want a more dynamic way of selecting theory implementations, but for now we don't have a need for this. Expected performance impact: none. (This commit addresses and re-closes the reopened bug #307.)
Diffstat (limited to 'src/context/Makefile.am')
0 files changed, 0 insertions, 0 deletions