corrected format of ltl created by fsa.stateToLTL to \!next(prop)

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

Closed wongkaiweng closed 10 years ago

cfinucane commented 10 years ago

Hey, thanks. Sorry, I didn't see this until just now.

Fixes #53.