Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
ltl2tgba_fm.cc
Find file
Blame
History
Permalink
Fix translation of AndNLM and Fusion operators.
· f7c64060
Alexandre Duret-Lutz
authored
Apr 17, 2012
* src/tgbaalgos/ltl2tgba_fm.cc: Here. The check is done by next patch.
f7c64060