fixed a little const-ness problem

diff --git a/check/time_antipode.cpp b/check/time_antipode.cpp
index 2d64beef0afe57a1a79bdff1c899346b65524bba..712b90be7beda16fce368809bbba0a7d3d749bdb 100644 (file)
--- a/check/time_antipode.cpp
+++ b/check/time_antipode.cpp
@@ -442,7 +442,7 @@ static const node tree6(unsigned cuts=0)
                        bool(cuts & 16)));
 }
 
                        bool(cuts & 16)));
 }
 

-static unsigned test_tree(node (*tree_generator)(unsigned=0))
+static unsigned test_tree(const node (*tree_generator)(unsigned=0))

 {
        const int edges = tree_generator().total_edges();
        const int vertices = edges+1;
 {
        const int edges = tree_generator().total_edges();
        const int vertices = edges+1;