Closed 1ndahous3 closed 12 months ago
Fix for #2007.
330bc748e4bab110bea6a8ff1e7e81ae675681df is a more appropriate fix to #2007. I like your comment explaining what YY_FATAL_ERROR does, I'm adding it in another commit.
YY_FATAL_ERROR
Fix for #2007.