DeepSec returns an internal error in some cases where two rewrite rules are defined for the same destructor. The attached file triggers
Internal Error: [data_structure.ml >> IK.consequence_recipe] Unexpected link.
and is reproducible on branches master and fix_bug_67_to_72
bug.txt
DeepSec returns an internal error in some cases where two rewrite rules are defined for the same destructor. The attached file triggers
Internal Error: [data_structure.ml >> IK.consequence_recipe] Unexpected link.and is reproducible on branches master and fix_bug_67_to_72
bug.txt