Index: /trunk/src/VBox/Main/src-client/GuestCtrlPrivate.cpp
===================================================================
--- /trunk/src/VBox/Main/src-client/GuestCtrlPrivate.cpp	(revision 71560)
+++ /trunk/src/VBox/Main/src-client/GuestCtrlPrivate.cpp	(revision 71561)
@@ -635,8 +635,8 @@
     LogFlowThisFuncEnter();
 
-    int rc = RTCritSectDelete(&mWaitEventCritSect);
-    NOREF(rc);
-
-    LogFlowFuncLeaveRC(rc);
+    int rc2 = RTCritSectDelete(&mWaitEventCritSect);
+    AssertRC(rc2);
+
+    LogFlowFuncLeaveRC(rc2);
     /* No return value. */
 }