From 0482e7fe727c75e259ac55a932b28cf1842c530e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@hotmail.com>
Date: Wed, 25 Mar 2015 11:46:28 -0700
Subject: [PATCH] cache datatype util in context to avoid performance bug,
 codeplex issue 195

Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
---
 examples/c++/example.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/examples/c++/example.cpp b/examples/c++/example.cpp
index 67af5eb34..9f4f9431c 100644
--- a/examples/c++/example.cpp
+++ b/examples/c++/example.cpp
@@ -987,8 +987,6 @@ void extract_example() {
 }
 
 int main() {
-  slow();
-  return 0;
 
     try {
         demorgan(); std::cout << "\n";