diff options
Diffstat (limited to 'src/runtime/dotNet/Bracket.cs')
| -rw-r--r-- | src/runtime/dotNet/Bracket.cs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/runtime/dotNet/Bracket.cs b/src/runtime/dotNet/Bracket.cs index 8fa005704..1fc4c0db7 100644 --- a/src/runtime/dotNet/Bracket.cs +++ b/src/runtime/dotNet/Bracket.cs @@ -52,7 +52,8 @@ namespace PGFSharp end_phrase = EndPhrase, symbol_ne = null, symbol_bind = null, - symbol_capit = null + symbol_capit = null, + symbol_meta = SymbolMeta }; } @@ -80,6 +81,10 @@ namespace PGFSharp else stack.Peek ().AddChild (b); } + + private void SymbolMeta(IntPtr self, int meta_id) { + stack.Peek().AddChild(new StringChildBracket("?")); + } public Bracket Build() { return final; |