Benjamin Salling Hvass (Mar 10 2021 at 09:18): 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?
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.
Pierre-Marie Pédrot (Mar 10 2021 at 09:23):If you're in a git repo, a little git clean -xdff is recommended.
Benjamin Salling Hvass (Mar 10 2021 at 09:25):git clean -xdff did the trick, thanks!
Last updated: Apr 20 2024 at 09:01 UTC