Re: [Spot] SPOT: formula:is_literal shall be marked const?

Ayrat Khalimov <ayrat.khalimov@gmail.com> writes:

Seems like the function  formula::is_literal()  should be marked const:

Thank you, that will be fixed in the next release.