added casts

2007-02-05 15:34:27 +00:00
parent 758243a4c4
commit feb35a7aee
2 changed files with 9 additions and 9 deletions
@@ -186,7 +186,7 @@ int main(int argc, char* argv[])
        std::cout << std::endl;
    }
 #endif
-    {
+    if (0) {
        if (verbose) std::cout <<"Inter______________________________________\n";
        else std::cout << "Interval &\t";
 	typedef CGAL_POLYNOMIAL_NS::Kernel<Pd, Interval_root_stack> K;