New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

update catch #14

Open

Alessandro-Barbieri opened this issue May 12, 2022 · 1 comment

Alessandro-Barbieri commented May 12, 2022

Could you update catch.hpp to version 2.13.8 or make it work with the system one?

Member

rkaminsk commented May 14, 2022 •

edited

Loading

I'll take care of this, later. I intend to do it as in clingo by including catch as a submodule. See potassco/clingo@0c49fdf

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment