diff options
Diffstat (limited to 'src/theory/arrays/kinds')
-rw-r--r-- | src/theory/arrays/kinds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arrays/kinds b/src/theory/arrays/kinds index 3850fab98..46cd5781a 100644 --- a/src/theory/arrays/kinds +++ b/src/theory/arrays/kinds @@ -40,7 +40,7 @@ constant STORE_ALL \ "array store-all" # used internally by array theory -operator ARR_TABLE_FUN 4 "array table function" +operator ARR_TABLE_FUN 4 "array table function (internal symbol)" typerule SELECT ::CVC4::theory::arrays::ArraySelectTypeRule typerule STORE ::CVC4::theory::arrays::ArrayStoreTypeRule |