fix uses of getMetaKind() from outside the expr package. (they now use isConst() and isVar() as appropriate)

also some base infrastructure for the new ::isConst().

1 files changed, 6 insertions, 0 deletions

diff --git a/src/theory/mktheorytraits b/src/theory/mktheorytraits
index 3607d5232..60ff05d35 100755
--- a/src/theory/mktheorytraits
+++ b/src/theory/mktheorytraits
@@ -232,6 +232,12 @@ function typerule {
   check_theory_seen
 }
 
+function construle {
+  # construle OPERATOR isconst-checking-class
+  lineno=${BASH_LINENO[0]}
+  check_theory_seen
+}
+
 function instantiator {
   # instantiator class header
   lineno=${BASH_LINENO[0]}