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, 1 insertions, 1 deletions

diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index b498f1e40..c5345c5a7 100644
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -150,7 +150,7 @@ void TseitinCnfStream::ensureLiteral(TNode n) {
   }
 
   if( theory::Theory::theoryOf(n) == theory::THEORY_BOOL &&
-      n.getMetaKind() != kind::metakind::VARIABLE ) {
+      !n.isVar() ) {
     // If we were called with something other than a theory atom (or
     // Boolean variable), we get a SatLiteral that is definitionally
     // equal to it.