cannot typecheck UniformStateProb

[onestruggler]

[haselwarter]

What versions are you using? E.g. what does `opam list` output?

…

On Fri, 13 Oct 2023 at 04:31, onestruggler ***@***.***> wrote: [image: image] <https://user-images.githubusercontent.com/20321134/274778255-1a1fcf6f-781c-419b-814e-3839fdee8421.png> — Reply to this email directly, view it on GitHub <#38>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAGO4GQKZMRRIXU2JMAMZR3X7CRZXANCNFSM6AAAAAA56PEXDY> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[onestruggler]

[onestruggler]

Also, I fixed this error:

by modifying the source code here:

It shouldn't affect here, but just in case.

[sertel]

I'm not sure if that is still an issue.
But a similar fix is included in PR #40.
Once the PR was merged this issue can be closed.

[onestruggler]

The issue is still there. I am looking forward to this fix. Thanks.

[sertel]

The PR was merged now.
Can you please give it another try and see if your problem is resolved such that this issue can be closed?

[onestruggler]

the release ssprove-0.2.0 works. Thanks a lot. Sorry for the late response. I am using coq 8.17.1. I also tried coq 8.18.0; it works too.

[sertel]

Great! Can you close the issue, please?