We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
static
1 parent 9273d5a commit e698841Copy full SHA for e698841
unit/solvers/smt2_incremental/encoding/enum_encoding.cpp
@@ -29,7 +29,7 @@ static c_enum_typet make_c_enum_type(
29
return enum_type;
30
}
31
32
-constant_exprt create_enum_tag_typed_constant(
+static constant_exprt create_enum_tag_typed_constant(
33
const mp_integer &value,
34
const c_enum_typet &enum_type,
35
const c_enum_tag_typet &enum_tag_type)
0 commit comments