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

8 jobs for master in 126 minutes and 39 seconds (queued for 35 minutes and 31 seconds)
Status Name Job ID Coverage
  Build
passed arch-clang #3789

00:34:17

passed arch-gcc-glibcxxdebug #3790

00:33:05

passed debian-gcc-snapshot #3788

00:52:48

passed debian-stable-gcc #3786

00:30:58

passed debian-unstable-gcc-coverage #3787

00:24:22

88.9%
passed debpkg-stable #3793

01:49:14

passed mingw-shared #3791

00:10:45

passed mingw-static #3792

00:10:10