Remove debugging.HEADmaster

1 files changed, 0 insertions, 4 deletions

diff --git a/src/main.cpp b/src/main.cpp
index 0626db5..3bf21bc 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -331,10 +331,8 @@ int main(int argc, char ** argv)
           pd_1.finitize(finitization);
           if (discretization > 0)
           {
-            std::cout << pd_1.size_2() << " --> ";
             pd_1.discretize(discretization);
             pd_1.compress_and_sort();
-            std::cout << pd_1.size_2() << std::endl;
           }
         }
         
@@ -349,10 +347,8 @@ int main(int argc, char ** argv)
           pd_2.finitize(finitization);
           if (discretization > 0)
           {
-            std::cout << pd_2.size_2() << " --> ";
             pd_2.discretize(discretization);
             pd_2.compress_and_sort();
-            std::cout << pd_2.size_2() << std::endl;
           }
         }