diff --git a/in/scripts/gen_tgc_sc.py b/in/scripts/gen_tgc_sc.py index a49911a..d132103 100755 --- a/in/scripts/gen_tgc_sc.py +++ b/in/scripts/gen_tgc_sc.py @@ -3,7 +3,7 @@ from sys import argv,exit OPTIONS_STR = """ -options { use-context-automaton; } +options { use-context-automaton; make-progressive; } """ PROC_STR = """