diff --git a/ivette/src/frama-c/plugins/studia/index.ts b/ivette/src/frama-c/plugins/studia/index.ts index 31b54d9e2b2a6dab1847fd2f033b7f598964a858..aa612159e266992764ba615489190bd18819e646 100644 --- a/ivette/src/frama-c/plugins/studia/index.ts +++ b/ivette/src/frama-c/plugins/studia/index.ts @@ -129,12 +129,9 @@ const studiaWritesMode : Ivette.ModeProps = { async function onEnter(akind: access, term: string): Promise<void> { const stmt = States.getSelected(); - const { kind: mkind } = States.getMarker(stmt); - if (mkind === 'STMT') { - const marker = await Server.send(Ast.parseLval, { stmt, term }) - .catch(handleError); - if (marker) computeStudiaSelection(akind, marker, term); - } + const marker = await Server.send(Ast.parseLval, { stmt, term }) + .catch(handleError); + if (marker) computeStudiaSelection(akind, marker, term); } Ivette.registerMode(studiaReadsMode);