diff --git a/meta/libraries.json b/meta/libraries.json index 38ae42d0..0ebd3faf 100644 --- a/meta/libraries.json +++ b/meta/libraries.json @@ -10,5 +10,6 @@ "description": "Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.", "category": [ "Correctness" - ] + ], + "cxxstd": "03" }