Mentions légales du service

Skip to content

dependency issues and annoying compilation warning with the CFG parser

The separate CFG parser induces an annoying warning when compiling: symbol add_record_projections never used.

Moreover, there seems to be a dependency issue since in some case one may need to manually remove the generated file src/parser/cfg_parser.ml to compile successfully.