1.1 --- a/lemon/vf2pp.h	Sat Oct 07 16:22:04 2017 +0200
     1.2 +++ b/lemon/vf2pp.h	Sat Oct 07 17:03:30 2017 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4      //The graph into which g1 is to be embedded
     1.5      const G2 &_g2;
     1.6  
     1.7 -    //Current depth in the search tree.
     1.8 +    //Current depth in the search tree
     1.9      int _depth;
    1.10  
    1.11      //The current mapping. _mapping[v1]=v2 iff v1 has been mapped to v2,