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";