diff options
Diffstat (limited to 'data/cdec.ini')
| -rw-r--r-- | data/cdec.ini | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/data/cdec.ini b/data/cdec.ini new file mode 100644 index 0000000..ddbe54c --- /dev/null +++ b/data/cdec.ini @@ -0,0 +1,4 @@ +formalism=scfg +intersection_strategy=full +add_pass_through_rules=true + |