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.