diff options
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); } }; |