Double space.

Author: vgvassilev

source/basic.tex

@@ -930,7 +930,7 @@
 class X {
   char  v[i];                       // error: \tcode{i} refers to \tcode{::i}
                                     // but when reevaluated is \tcode{X::i}
-  int  f() { return sizeof(c); }    //  OK: \tcode{X::c}
+  int  f() { return sizeof(c); }    // OK: \tcode{X::c}
   char  c;
   enum { i = 2 };
 };