diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/main.cpp | 4 |
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; } } |