- ensure_equals("user.cash == 0 (initial value)", user.GetProperty().cash, 0);
- ensure_equals("user.credit == 0 (initial value)", user.GetProperty().credit, 0);
+ ensure_equals("user.cash == 0 (initial value)", user.GetProperties().cash, 0);
+ ensure_equals("user.credit == 0 (initial value)", user.GetProperties().credit, 0);