diff options
| author | Clark Barrett <barrett@cs.stanford.edu> | 2017-01-11 14:03:11 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-11 14:03:11 -0800 |
| commit | 212dd7239f676eaac0d8be77afdc30e0d066b98d (patch) | |
| tree | 84570b2450123b06888f7f8fbc8b9c798592bbd3 | |
| parent | 97aaf2ffbb542b5c097b49071fd24ae40898eeb0 (diff) | |
| parent | 16d251144cfe273e599f3d95c6dffd587a5bc511 (diff) | |
Merge pull request #131 from makaimann/fix_702
Proposed fix for bug 702
| -rw-r--r-- | examples/api/combination.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |