From 4f85e595f1d2d00f7e139226e91b780920bc5fc2 Mon Sep 17 00:00:00 2001 From: adam Date: Sat, 1 Jul 2006 23:22:33 -0400 Subject: [PATCH] checkpoint darcs-hash:20060702032233-5007d-9863b768e37c74d4ecdcf299db8ba121c8ad2b20.gz --- src/edu/berkeley/sbp/misc/Demo.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/edu/berkeley/sbp/misc/Demo.java b/src/edu/berkeley/sbp/misc/Demo.java index f163d93..3174b62 100644 --- a/src/edu/berkeley/sbp/misc/Demo.java +++ b/src/edu/berkeley/sbp/misc/Demo.java @@ -471,7 +471,7 @@ public class Demo { public static @tag("^") void caret(String s) { } public static @tag("~") void tilde(El e) { } public static @tag("^^") void doublecaret(El e) { } - public static @tag("(") void subexpression(Seq[][] rhs) { } + public static @tag("(") void subexpression(/*Seq[][]*/Object rhs) { } public static @nonterminal("Word") String word(String s) { return null; } public static @nonterminal("Quoted") String quoted(String s) { return null; } -- 1.7.10.4