Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision b1f2007d03a9290ff9a472f7132714791f65e6b4)
+++ src/ResolvExpr/Resolver.cc	(revision 4c2fe47e178e4074ffe9d1387cbe05d69e4c0db3)
@@ -9,7 +9,7 @@
 // Author           : Aaron B. Moss
 // Created On       : Sun May 17 12:17:01 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Wed Apr 20 10:41:00 2022
-// Update Count     : 248
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Sat Dec  9 17:45:57 2023
+// Update Count     : 249
 //
 
@@ -958,7 +958,7 @@
 								++n_mutex_param;
 
-								// Check if the argument matches the parameter type in the current
-								// scope
+								// Check if the argument matches the parameter type in the current scope.
 								// ast::ptr< ast::Type > paramType = (*param)->get_type();
+
 								if (
 									! unify(