diff --git a/frysk-sys/frysk/rsl/Log.java b/frysk-sys/frysk/rsl/Log.java

index 905c88a..3211bdb 100644

--- a/frysk-sys/frysk/rsl/Log.java

+++ b/frysk-sys/frysk/rsl/Log.java

@@ -262,15 +262,15 @@ public final class Log {

     private void dump(boolean b) {

 	out.print(b);

     }

-    private void dump(boolean[] a) {

-	out.print('[');

-	for (int i = 0; i < a.length; i++) {

-	    if (i > 0)

-		out.print(',');

-	    dump(a[i]);

-	}

-	out.print(']');

-    }

+//    private void dump(boolean[] a) {

+//	out.print('[');

+//	for (int i = 0; i < a.length; i++) {

+//	    if (i > 0)

+//		out.print(',');

+//	    dump(a[i]);

+//	}

+//	out.print(']');

+//    }

     /**

      * Chars are printed in quotes.