1 files changed, 4 insertions, 4 deletions
diff --git a/src/preprocessing/passes/real_to_int.cpp b/src/preprocessing/passes/real_to_int.cpp
index c37ac9c20..9c58250e3 100644
--- a/src/preprocessing/passes/real_to_int.cpp
+++ b/src/preprocessing/passes/real_to_int.cpp
@@ -116,8 +116,8 @@ Node RealToInt::realToIntInternal(TNode n, NodeMap& cache, std::vector<Node>& va
                 }
                 else
                 {
-                  throw TypeCheckingException(
-                      v.toExpr(),
+                  throw TypeCheckingExceptionPrivate(
+                      v,
                       std::string("Cannot translate to Int: ") + v.toString());
                 }
               }
@@ -171,8 +171,8 @@ Node RealToInt::realToIntInternal(TNode n, NodeMap& cache, std::vector<Node>& va
         {
           // cannot change the type of quantified variables, since this leads
           // to incompleteness.
-          throw TypeCheckingException(
-              n.toExpr(),
+          throw TypeCheckingExceptionPrivate(
+              n,
               std::string("Cannot translate bound variable to Int: ")
                   + n.toString());
         }