1 files changed, 3 insertions, 0 deletions
diff --git a/src/expr/mkexpr b/src/expr/mkexpr
index de6de014d..6508f8121 100755
--- a/src/expr/mkexpr
+++ b/src/expr/mkexpr
@@ -129,6 +129,9 @@ $2 const & Expr::getConst< $2 >() const;
   getConst_implementations="${getConst_implementations}
 template <>
 $2 const & Expr::getConst() const {
+  // check even for production builds
+  CheckArgument(getKind() == ::CVC4::kind::$1, *this,
+                \"Improper kind for getConst<$2>()\");
   return d_node->getConst< $2 >();
 }
 "