fix: remove annotation from the pretty-printed string if it is deleted from the model#4282

Closed

algomaster99 wants to merge 2 commits intoINRIA:masterfrom algomaster99:delete-annotation

+20-3

Commits on Nov 12, 2021