diff options
| author | peb <unknown> | 2005-05-18 08:04:07 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-05-18 08:04:07 +0000 |
| commit | a3bdf26f22cf21cdaace5d03ca04d0550e4b3ed8 (patch) | |
| tree | 27a927d80a4a0710847f5a83a3093364dd7b22a3 | |
| parent | d57b5b24165a26d3eb5b492a3f2bd35a0daf9ad4 (diff) | |
"Committed_by_peb"
| -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"}; |