From 9dde2e9e0848e7565110d0a6cfe80936c4b13a18 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Sol=C3=A0?= <jsola@iri.upc.edu>
Date: Thu, 2 Apr 2020 12:04:21 +0200
Subject: [PATCH] Hotfix: Add default to Problem::check()
---
include/core/problem/problem.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/include/core/problem/problem.h b/include/core/problem/problem.h
index 63674826d..e1c48e685 100644
--- a/include/core/problem/problem.h
+++ b/include/core/problem/problem.h
@@ -350,7 +350,7 @@ class Problem : public std::enable_shared_from_this<Problem>
bool constr_by = false, //
bool metric = true, //
bool state_blocks = false) const;
- bool check(int verbose_level) const;
+ bool check(int verbose_level = 0) const;
bool check(bool verbose, std::ostream& stream) const;
};
--
GitLab