Skip to content
Snippets Groups Projects
Commit 274827cc authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[kernel] Usable_emitter.get returns [orphan] when the emitter does not exists.

Instead of raising a [Not_found] exception.
Fixes crashes when loading a Frama-C save when an original emitter is not
available.
parent ed1a2930
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment