Skip to content

Commit dc7a300

Browse files
committed
[Refactor] Rename pointer_size_mapt -> type_size_mapt in unit tests
1 parent 1697688 commit dc7a300

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

unit/solvers/smt2_incremental/convert_expr_to_smt.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ struct expr_to_smt_conversion_test_environmentt
5858

5959
smt_object_mapt object_map;
6060
smt_object_sizet object_size_function;
61-
pointer_size_mapt pointer_sizes;
61+
type_size_mapt pointer_sizes;
6262

6363
private:
6464
// This is private to ensure the above make() function is used to make

0 commit comments

Comments
 (0)