diff options
Diffstat (limited to 'ragel/cdcodegen.cpp')
-rw-r--r-- | ragel/cdcodegen.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ragel/cdcodegen.cpp b/ragel/cdcodegen.cpp index bc19ab88..30b14546 100644 --- a/ragel/cdcodegen.cpp +++ b/ragel/cdcodegen.cpp @@ -1030,6 +1030,12 @@ void FsmCodeGen::finishRagelDef() else redFsm->chooseSingle(); + if ( printStatistics ) { + std::cout << "fsm-name\t" << fsmName << std::endl; + redFsm->percentageDefault(); + std::cout << std::endl; + } + /* If any errors have occured in the input file then don't write anything. */ if ( gblErrorCount > 0 ) return; |