Commit 9f94ba7f authored by Kristof Szabados's avatar Kristof Szabados
Browse files

A default null is also a default value.

Signed-off-by: Kristof Szabados's avatarkristof <>
parent 5f21d860
...@@ -5459,6 +5459,8 @@ void Type::chk_this_value_Verdict(Value *value) ...@@ -5459,6 +5459,8 @@ void Type::chk_this_value_Verdict(Value *value)
void Type::chk_this_value_Default(Value *value) void Type::chk_this_value_Default(Value *value)
{ {
switch (value->get_valuetype()) { switch (value->get_valuetype()) {
case Value::V_DEFAULT_NULL:
case Value::V_TTCN3_NULL: case Value::V_TTCN3_NULL:
value->set_valuetype(Value::V_DEFAULT_NULL); value->set_valuetype(Value::V_DEFAULT_NULL);
break; break;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment