Commit 006de5da authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* spot/twaalgos/ltl2taa.cc: Remove unused variable.

parent c476b2ee
Pipeline #1142 passed with stage
in 126 minutes and 39 seconds