diff --git a/repos/base/src/test/rm_nested/main.cc b/repos/base/src/test/rm_nested/main.cc
index 07f438e517..5f019b63a8 100644
--- a/repos/base/src/test/rm_nested/main.cc
+++ b/repos/base/src/test/rm_nested/main.cc
@@ -48,7 +48,7 @@ class Local_fault_handler : public Entrypoint
 		{
 			Region_map::State state = _region_map.state();
 
-			_fault_cnt ++;
+			_fault_cnt = _fault_cnt + 1;
 
 			log("region-map state is ",
 			       state.type == Region_map::State::READ_FAULT  ? "READ_FAULT"  :