diff options
Diffstat (limited to 'src/parsedata.cc')
| -rw-r--r-- | src/parsedata.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parsedata.cc b/src/parsedata.cc index d87705a2..402f38e1 100644 --- a/src/parsedata.cc +++ b/src/parsedata.cc @@ -468,7 +468,8 @@ ParseData::ParseData( InputData *id, std::string fileName, string sectionName, * the builtins. */ initGraphDict(); - fsmCtx = new FsmCtx( hostLang, minimizeLevel, minimizeOpt, id->printStatistics ); + fsmCtx = new FsmCtx( hostLang, minimizeLevel, + minimizeOpt, id->printStatistics, id->nfaTermCheck ); } /* Clean up the data collected during a parse. */ |