diff options
| author | Pierre-Marie Pédrot | 2016-03-19 17:55:15 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 18:04:54 +0100 |
| commit | f329e1e63eb29958c4cc0d7bddfdb84a754351d2 (patch) | |
| tree | f05874effa8c32bad606e8a45599e9c52dd2e260 /lib/cStack.ml | |
| parent | f25396b3a35ea5cd64b8b68670e66a14a78c418c (diff) | |
Do not keep the argument type in ExtNonTerminal.
Diffstat (limited to 'lib/cStack.ml')
0 files changed, 0 insertions, 0 deletions