diff --git a/include/core/problem/problem.h b/include/core/problem/problem.h
index 63674826d08a026767aeb19a62803b46625b0d2b..e1c48e685010cea4ba3311a7b9aa3fc24eef70ed 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;
 
 };