diff options
| -rw-r--r-- | grammars/ljung/fin_dep_types/Findep.gf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/grammars/ljung/fin_dep_types/Findep.gf b/grammars/ljung/fin_dep_types/Findep.gf index 94cfe54cf..3fb3d6385 100644 --- a/grammars/ljung/fin_dep_types/Findep.gf +++ b/grammars/ljung/fin_dep_types/Findep.gf @@ -1,6 +1,8 @@ concrete Findep of FindepAbs = { +flags conversion = finite; + lin Sg = {s = "SINGULAR"}; |