diff -r 3ca508482e4c -r e68f0ef37e77 lemon/vf2pp.h
--- a/lemon/vf2pp.h	Sat Oct 07 16:22:04 2017 +0200
+++ b/lemon/vf2pp.h	Sat Oct 07 17:03:30 2017 +0200
@@ -72,7 +72,7 @@
     //The graph into which g1 is to be embedded
     const G2 &_g2;
 
-    //Current depth in the search tree.
+    //Current depth in the search tree
     int _depth;
 
     //The current mapping. _mapping[v1]=v2 iff v1 has been mapped to v2,