From 16d251144cfe273e599f3d95c6dffd587a5bc511 Mon Sep 17 00:00:00 2001
From: makaimann <makaim@stanford.edu>
Date: Wed, 11 Jan 2017 13:47:06 -0800
Subject: [PATCH] Proposed fix for bug 702. Checks to make sure the Expr's
 operator is not of kind BUILTIN before passing to prefixPrintGetValue()

---
 examples/api/combination.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/api/combination.cpp b/examples/api/combination.cpp
index f9b18f707..a874c4488 100644
--- a/examples/api/combination.cpp
+++ b/examples/api/combination.cpp
@@ -28,7 +28,7 @@ void prefixPrintGetValue(SmtEngine& smt, Expr e, int level = 0){
   for(int i = 0; i < level; ++i){ cout << '-'; }
   cout << "smt.getValue(" << e << ") -> " << smt.getValue(e) << endl;
 
-  if(e.hasOperator()){
+  if(e.hasOperator() && e.getOperator().getKind() != kind::BUILTIN){
     prefixPrintGetValue(smt, e.getOperator(), level + 1);
   }
 
-- 
2.30.2