Skip to main content

Browse the archive

Revision 638229b7e0968046311c62a7e1638a5d60bdaf2f authored by Pierre-Yves Strub on 17 October 2022, 13:37:47 UTC, committed by Pierre-Yves Strub on 17 October 2022, 13:50:21 UTC 
Fix a bug when replaying a removed user reduction rule
 
A local exception was raised but was not properly catched.

Fix #268
1 parent 1dd5130
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top