Closed DjPale closed 9 years ago
When trying to import Quint, there seems to be an undeclared variable. Following output when importing Quint with no DCE: Quint.hx:22: characters 42-43 : Unknown identifier : b
Quint.hx:22: characters 42-43 : Unknown identifier : b
When trying to import Quint, there seems to be an undeclared variable. Following output when importing Quint with no DCE:
Quint.hx:22: characters 42-43 : Unknown identifier : b