From 37c71c9445f7fdc9a3b982e04300a392dc35213a Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 2 Jul 2006 13:52:29 -0400 Subject: [PATCH] checkpoint darcs-hash:20060702175229-5007d-d2f4ebb2fd6c41040de806c0f16a7d0aeec0b774.gz --- src/edu/berkeley/sbp/tib/TibDoc.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java index d308186..d8f24ff 100644 --- a/src/edu/berkeley/sbp/tib/TibDoc.java +++ b/src/edu/berkeley/sbp/tib/TibDoc.java @@ -331,12 +331,12 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix public static class TD { public @nonterminal static class Doc extends Dump { - public @arg("head") Header head; - public @arg("body") Body body; + public @arg Header head; + public @arg Body body; } public @nonterminal static class Header extends Dump { - public @arg("attrs") KeyVal[] attrs; + public @arg KeyVal[] attrs; // FIXME: it would be nice to be able to // void KeyVal(String, String) { ... } imperatively } -- 1.7.10.4