Add missing static to internal testing function

Enrico Steffinlongo · Enrico Steffinlongo · commit e69884178150 · 2023-06-22T15:03:20.000+01:00
diff --git a/unit/solvers/smt2_incremental/encoding/enum_encoding.cpp b/unit/solvers/smt2_incremental/encoding/enum_encoding.cpp
@@ -29,7 +29,7 @@ static c_enum_typet make_c_enum_type(
   return enum_type;
 }
 
-constant_exprt create_enum_tag_typed_constant(
+static constant_exprt create_enum_tag_typed_constant(
   const mp_integer &value,
   const c_enum_typet &enum_type,
   const c_enum_tag_typet &enum_tag_type)

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ static c_enum_typet make_c_enum_type(`
`29`	`29`	`return enum_type;`
`30`	`30`	`}`
`31`	`31`
`32`		`-constant_exprt create_enum_tag_typed_constant(`
	`32`	`+static constant_exprt create_enum_tag_typed_constant(`
`33`	`33`	`const mp_integer &value,`
`34`	`34`	`const c_enum_typet &enum_type,`
`35`	`35`	`const c_enum_tag_typet &enum_tag_type)`