From 3daaecd22fe5f6147cb08e5a4e08177b33a2daa2 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 3 Aug 2012 20:39:25 +0000
Subject: 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().
---
 src/expr/mkmetakind | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/expr/mkmetakind')

diff --git a/src/expr/mkmetakind b/src/expr/mkmetakind
index 654a1f94f..5608d2972 100755
--- a/src/expr/mkmetakind
+++ b/src/expr/mkmetakind
@@ -117,6 +117,12 @@ function typerule {
   check_theory_seen
 }
 
+function construle {
+  # construle OPERATOR isconst-checking-class
+  lineno=${BASH_LINENO[0]}
+  check_theory_seen
+}
+
 function rewriter {
   # rewriter class header
   lineno=${BASH_LINENO[0]}
-- 
cgit v1.2.3