Parse error on examples/counter_1.ltlf

[bytekid]

When I run the command

    $ lydia -l ltlf -f examples/counter_1.ltlf --part examples/counter_1.part

given in the README file, running lydia on the example provided in the repo, I get the error

    [2025-05-22 10:34:42.647] [lydia] [info] [main] Parsing "examples/counter_1.ltlf"
    COError: syntax error at 1.5
    Parse failed!

I compiled lydia from source, and run it on Ubuntu.
It would be great if you can let me know what to fix.