checkpoint
[sbp.git] / src / edu / berkeley / sbp / tib / TibDoc.java
index bd9cb7e..9fe072c 100644 (file)
@@ -10,7 +10,7 @@ import edu.berkeley.sbp.chr.*;
 import edu.berkeley.sbp.bind.*;
 import java.util.*;
 import java.io.*;
-import static edu.berkeley.sbp.misc.Demo.*;
+import static edu.berkeley.sbp.misc.MetaGrammar.*;
 
 public class TibDoc {
     /*
@@ -483,8 +483,8 @@ toContex ll = prefix ++ (concatMap tl ll) ++ suffix
 
                FIXME FIXME
 
-            Demo.ReflectiveMeta m =
-                new Demo.ReflectiveMeta(TibDoc.TD.class);
+            MetaGrammar.ReflectiveMeta m =
+                new MetaGrammar.ReflectiveMeta(TibDoc.TD.class);
             Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
             MetaGrammar.Meta.MetaGrammarFile mgf = m.new MetaGrammarFile(res);
             MetaGrammar.BuildContext bc = new MetaGrammar.BuildContext(mgf);