Commit 08b8492d authored by Etienne Renault's avatar Etienne Renault


parent 3ef91442
Pipeline #19185 failed with stage
in 16 minutes and 42 seconds
......@@ -160,7 +160,7 @@ namespace spot
while (!it->done())
std::cout << "LA\n";
delete it->state();
delete[] it->state();
it-> next();
delete it;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment