diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index 3f34f3128..b2a4fc47f 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -1764,6 +1764,7 @@ void cmd_context::validate_model() { } try { for_each_expr(contains_underspecified, a); + for_each_expr(contains_underspecified, r); } catch (contains_underspecified_op_proc::found) { continue;