the X (next) operator does not work in temporal logic

[xhajnal]

from colomoto.temporal_logics import *
prop = {"prop": AU(True,True)} 
prop = {"prop": EU(True,True)} 

prop = {"prop": AF(True)} 
prop = {"prop": EF(True)} 

prop = {"prop": AG(True)} 
prop = {"prop": EG(True)} 

prop = {"prop": F(True)}
prop = {"prop": G(True)}
prop = {"prop": X(True)}

prop = {"prop": AX(True)} 
prop = {"prop": EX(True)}

Results in an error NameError: name 'X' is not defined´
same for AX and EX

(using 2018-08-17)

[pauleve]

Thanks for the report.
It is fixed by colomoto/colomoto-jupyter@2f45410
which will be included in the next release of colomoto_jupyter, then in the next docker image.