File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -38,20 +38,20 @@ const std::vector<exprt> &string_constraint_generatort::get_axioms() const
38
38
return m_axioms;
39
39
}
40
40
41
- const std::vector<symbol_exprt>
42
- & string_constraint_generatort::get_index_symbols () const
41
+ const std::vector<symbol_exprt> &
42
+ string_constraint_generatort::get_index_symbols () const
43
43
{
44
44
return m_index_symbols;
45
45
}
46
46
47
- const std::vector<symbol_exprt>
48
- & string_constraint_generatort::get_boolean_symbols () const
47
+ const std::vector<symbol_exprt> &
48
+ string_constraint_generatort::get_boolean_symbols () const
49
49
{
50
50
return m_boolean_symbols;
51
51
}
52
52
53
- const std::set<string_exprt>
54
- & string_constraint_generatort::get_created_strings () const
53
+ const std::set<string_exprt> &
54
+ string_constraint_generatort::get_created_strings () const
55
55
{
56
56
return m_created_strings;
57
57
}
You can’t perform that action at this time.
0 commit comments