From 682a9ad81e7819a391b6eac49ea989d75c9774cc Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 4 Oct 2018 16:47:43 -0700 Subject: New C++ API: Add checks for Sorts. (#2519) --- examples/api/bitvectors-new.cpp | 2 -- 1 file changed, 2 deletions(-) (limited to 'examples/api') diff --git a/examples/api/bitvectors-new.cpp b/examples/api/bitvectors-new.cpp index 596d0b515..cd34a5130 100644 --- a/examples/api/bitvectors-new.cpp +++ b/examples/api/bitvectors-new.cpp @@ -50,10 +50,8 @@ int main() // Creating a bit-vector type of width 32 Sort bitvector32 = slv.mkBitVectorSort(32); - std::cout << "bitvector32 " << bitvector32 << std::endl; // Variables Term x = slv.mkVar("x", bitvector32); - std::cout << "bitvector32 " << bitvector32 << std::endl; Term a = slv.mkVar("a", bitvector32); Term b = slv.mkVar("b", bitvector32); -- cgit v1.2.3