From: Tim King <taking@cs.nyu.edu>
Date: Fri, 30 Nov 2012 23:10:10 +0000 (+0000)
Subject: Changing the documentation of ARR_TABLE_FUN to say (internal symbol).
X-Git-Tag: cvc5-1.0.0~7506
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=da19406935198bb3786b37714a156980f6e0639f;p=cvc5.git

Changing the documentation of ARR_TABLE_FUN to say (internal symbol).
---

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