fix crash: no double deletion any more
author Dominik Haumann
()
committer Dominik Haumann
()
commit 317755347b1f93ae06eb71dae663b1b60511913a
tree b5a4bef80d7eca4403b3de5e2f9b1196a08d1382
parent c7fcb9f4382e7d968dd36c91083f3d0f21f5c1be
fix crash: no double deletion any more

BUG: 294750
BUG: 294756
part/syntax/katecodefolding.cpp