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?
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.
If you're in a git repo, a little
git clean -xdff is recommended.
git clean -xdff did the trick, thanks!
Last updated: Sep 25 2023 at 12:01 UTC