--- src/tse3/Mutex.h	2004-07-13 13:42:54.188909264 -0400
+++ src/tse3/Mutex.h	2004-07-13 13:51:01.925761992 -0400
@@ -315,7 +315,7 @@
 #endif
                 }
         };
-    };
+    }
 }
 
 #endif