From da19406935198bb3786b37714a156980f6e0639f Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 30 Nov 2012 23:10:10 +0000
Subject: [PATCH] Changing the documentation of ARR_TABLE_FUN to say (internal
 symbol).

---
 src/theory/arrays/kinds | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2