Stream: Coq users

Topic: segfault when compiling psatz


view this post on Zulip Benjamin Salling Hvass (Mar 10 2021 at 09:18):

I recently switched to 8.13.1, but now one of my projects won't compile and the culprit seems to be the tactic psatz R. The project compiles with 8.12.0. I have tried to make a minimal example, but compiling the problematic goal by itself seems to work.
Have anyone experienced something similar?

view this post on Zulip Pierre-Marie Pédrot (Mar 10 2021 at 09:23):

Did you clean all the files in the development? In particular, the psatz cache has probably changed representation, which is why you observe a segfault.

view this post on Zulip Pierre-Marie Pédrot (Mar 10 2021 at 09:23):

If you're in a git repo, a little git clean -xdff is recommended.

view this post on Zulip Benjamin Salling Hvass (Mar 10 2021 at 09:25):

git clean -xdff did the trick, thanks!


Last updated: Feb 01 2023 at 12:30 UTC