diff options
Diffstat (limited to 'examples/SUMO/RGLExt/ParamBasic.gf')
| -rw-r--r-- | examples/SUMO/RGLExt/ParamBasic.gf | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/examples/SUMO/RGLExt/ParamBasic.gf b/examples/SUMO/RGLExt/ParamBasic.gf deleted file mode 100644 index 83471801a..000000000 --- a/examples/SUMO/RGLExt/ParamBasic.gf +++ /dev/null @@ -1,5 +0,0 @@ -resource ParamBasic = {
-param Flag = ExistS NumQuant | ForallS NumQuant | NothingS ;
-param SentForm = Indep | Attrib ;
-param NumQuant = One | Many ;
-}
\ No newline at end of file |