diff options
Diffstat (limited to 'grammars/ljung/thesis/FragmentNumber.gf')
| -rw-r--r-- | grammars/ljung/thesis/FragmentNumber.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/grammars/ljung/thesis/FragmentNumber.gf b/grammars/ljung/thesis/FragmentNumber.gf index 82829d0d1..dafe9a2b7 100644 --- a/grammars/ljung/thesis/FragmentNumber.gf +++ b/grammars/ljung/thesis/FragmentNumber.gf @@ -1,6 +1,8 @@ concrete FragmentNumber of FragmentAbstract = open FragmentResource in { +flags startcat= S; + lincat N = { s : Num => Str }; |