diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-14 20:57:12 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-05-14 20:57:12 +0000 |
| commit | 5b5a421d79d12a31edde3902f2b8ddec6a3ca684 (patch) | |
| tree | 738662afe397657be3e793a4f38a9cf0e13f4cd7 /src/prop | |
| parent | 7d298cf9abe3cb09c897eafe6fab5ef636be4c27 (diff) | |
fixes for shared term registration. previously the type was not considered when looking at theories of the term and for a term like
read(a, f(x))
the term f(x) would not be registered to arithmetic in AUFLIA. this fixies the issue of bug 330 and moves it to some other assertion fail.
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions