1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/mkkind b/src/expr/mkkind
index 89e77754f..88c28d4b9 100755
--- a/src/expr/mkkind
+++ b/src/expr/mkkind
@@ -142,6 +142,12 @@ function typerule {
   check_theory_seen
 }
 
+function construle {
+  # construle OPERATOR isconst-checking-class
+  lineno=${BASH_LINENO[0]}
+  check_theory_seen
+}
+
 function rewriter {
   # properties prop*
   lineno=${BASH_LINENO[0]}