On Thu, Jul 7, 2016 at 1:59 PM, Ayrat <ayrat.khalimov@iaik.tugraz.at> wrote:

hi there,

smth is wrong with online translator for LTL3BA -- see message below.
Thanks for amazing web-page!

​Dear Ayat,

Thank you for the report.  Do you remember what formula you translated?
​

(I tried a few formulas without being able to reproduce the error.)