X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=src%2Fedu%2Fberkeley%2Fsbp%2Ftib%2FTibDoc.java;h=d8f24ffbdf1c47bcd19d0324e34f9cbef4644d2d;hb=37c71c9445f7fdc9a3b982e04300a392dc35213a;hp=d3081866b9670e744fa3b94c8775954f1e9215ad;hpb=979e9c595d25573302530e514b9d7fb847d5b043;p=sbp.git

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
         }