swift
fbaa3ad2 - [CSStep] Fix a bug in `DisjunctionStep::resume` caused by was discarding active choice too early

Commit

7 years ago

[CSStep] Fix a bug in `DisjunctionStep::resume` caused by was discarding active choice too early

Author

xedin

Committer

Davide Italiano

Parents