projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 45229fd)
Changing the documentation of ARR_TABLE_FUN to say (internal symbol).
authorTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 23:10:10 +0000 (23:10 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 30 Nov 2012 23:10:10 +0000 (23:10 +0000)
src/theory/arrays/kinds patch | blob | history

diff --git a/src/theory/arrays/kinds b/src/theory/arrays/kinds
index 3850fab98ff4c59022090cc2c2805b12daf3cc49..46cd5781ad88c259678dbb2ebca678fb32cb789a 100644 (file)
--- 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