polish

diff --git a/docs/dist/doc/README-195.html b/docs/dist/doc/README-195.html
index 06a1bdb2d055062c146a3ff82394966b784648b3..ff558864197457183a34c0c6a9aafa030f0aa0b9 100644 (file)
--- a/docs/dist/doc/README-195.html
+++ b/docs/dist/doc/README-195.html
@@ -28,8 +28,8 @@ Here is <tt>Code.java</tt>:
 <pre><code>
 =======8<=========
 public class Code {
-       public static void main(String[] argv) {
-       }
+  public static void main(String[] argv) {
+  }
 
   static aspect X {
     before(): execution(* Code.main(..)) {