X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FMetaGrammar.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FMetaGrammar.java;h=1f7718faa66ae06da91a2d39de72a2342ba0ef71;hp=e9c4413eed6c6b1fd0103db6e96be35368c857a4;hb=f22d53e6ae3581e6c2dc096fd0cf93c18e2d2538;hpb=37c71c9445f7fdc9a3b982e04300a392dc35213a 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 t, Conjunct c) { this.element = makeMetaClause(t, c); } public String toString() { return "~"+element; } - public Element build(BuildContext bc) { return infer((Topology)Atom.toAtom(element.build(bc)).complement()); } + public Element build(BuildContext bc) { + return infer((Topology)Atom.toAtom(element.build(bc)).complement().minus(CharRange.braces)); + } } }