diff options
Diffstat (limited to 'src/theory/arrays/array_info.h')
-rw-r--r-- | src/theory/arrays/array_info.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arrays/array_info.h b/src/theory/arrays/array_info.h index 7e18f9ed2..982317350 100644 --- a/src/theory/arrays/array_info.h +++ b/src/theory/arrays/array_info.h @@ -78,7 +78,7 @@ public: * prints the information */ void print() const { - Assert(indices != NULL && stores!= NULL && in_stores != NULL); + Assert(indices != NULL && stores != NULL && in_stores != NULL); Trace("arrays-info")<<" indices "; printList(indices); Trace("arrays-info")<<" stores "; |