get rid of meta "model_record"
There is a very dirty code in parser.mly
, function add_record_projections
, which adds metas model_record
. This should not be used anymore for CE checking, so this code should be removed.
This code is very dirty because it adds data after typing, an action that is not done when typing from another source than parser.mly
but say typing a Ptree generated from elsewhere. For example from a parsing of a sexp file.