X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FMetaGrammar.java;h=1f7718faa66ae06da91a2d39de72a2342ba0ef71;hb=53d4cd6ae732171fb81a5df7db9f9c59e1efae0f;hp=e9c4413eed6c6b1fd0103db6e96be35368c857a4;hpb=bb4357ee026741cacecdfbfdcdd2d44699306536;p=sbp.git

diff --git a/src/edu/berkeley/sbp/misc/MetaGrammar.java b/src/edu/berkeley/sbp/misc/MetaGrammar.java
index e9c4413..1f7718f 100644
--- a/src/edu/berkeley/sbp/misc/MetaGrammar.java
+++ b/src/edu/berkeley/sbp/misc/MetaGrammar.java
@@ -406,7 +406,9 @@ public class MetaGrammar extends StringWalker {
                 public MetaClause element;
                 public MetaInvert(Tree<String> t, Conjunct c) { this.element = makeMetaClause(t, c); }
                 public String toString() { return "~"+element; }
-                public Element build(BuildContext bc) { return infer((Topology<Character>)Atom.toAtom(element.build(bc)).complement()); }
+                public Element build(BuildContext bc) {
+                    return infer((Topology<Character>)Atom.toAtom(element.build(bc)).complement().minus(CharRange.braces));
+                }
             }
 
     }