checkpoint

[sbp.git] / src / edu / berkeley / sbp / tib / TibDoc.java

diff --git a/src/edu/berkeley/sbp/tib/TibDoc.java b/src/edu/berkeley/sbp/tib/TibDoc.java
index 572ccbe..d2d1f75 100644 (file)
--- 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 @bind.as static class Doc extends Dump {
-            public @arg Header head;
-            public @arg Body body;
+            public @bind.arg Header head;
+            public @bind.arg Body body;
         }
 
         public @bind.as static class Header extends Dump {
-            public @arg KeyVal[] attrs;
+            public @bind.arg KeyVal[] attrs;
             // FIXME: it would be nice to be able to
             // void KeyVal(String, String) { ... } imperatively
         }
@@ -351,8 +351,8 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
         }
         
         public @bind.as static class KeyVal extends Dump {
-            public @arg String key;
-            public @arg Object val;
+            public @bind.arg String key;
+            public @bind.arg Object val;
         }
 
         public abstract static class Paragraph extends Dump implements ToHTML { }