-
Virgile Prevosto authored
When loading some state, it may happen that some annotations are found to have been emitted by emitters that are no longer usable. This commit let the kernel adopt them, keeping them available as was the case before refactoring `Annotations.code_annot` to use `Annotations.code_annot_emitter`.
Virgile Prevosto authoredWhen loading some state, it may happen that some annotations are found to have been emitted by emitters that are no longer usable. This commit let the kernel adopt them, keeping them available as was the case before refactoring `Annotations.code_annot` to use `Annotations.code_annot_emitter`.