diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-07-12 22:42:15 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-07-12 22:42:15 +0000 |
| commit | 95983dc012aa455b856f320ddcd4cfaf7c6a4582 (patch) | |
| tree | 5bb1d7ef5177f524925bba2f23966afb1108c385 /src/theory/arrays/array_info.h | |
| parent | 3a58c99a2527f2adc83a17292c869322cee8da9f (diff) | |
fix bug 272, array unsoundness, and some array cleanup
Diffstat (limited to 'src/theory/arrays/array_info.h')
| -rw-r--r-- | src/theory/arrays/array_info.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arrays/array_info.h b/src/theory/arrays/array_info.h index 6eb20e30a..ce3f015b5 100644 --- a/src/theory/arrays/array_info.h +++ b/src/theory/arrays/array_info.h @@ -85,11 +85,11 @@ public: */ void print() const { Assert(indices != NULL && stores!= NULL); // && equals != NULL); - Debug("arrays-info")<<" indices "; + Trace("arrays-info")<<" indices "; printList(indices); - Debug("arrays-info")<<" stores "; + Trace("arrays-info")<<" stores "; printList(stores); - Debug("arrays-info")<<" in_stores "; + Trace("arrays-info")<<" in_stores "; printList(in_stores); } }; |