From 6ae6b7817e3bad5f46ac5ca4f33f32f345ee0f8b Mon Sep 17 00:00:00 2001
From: github action <action@example.com>
Date: Wed, 22 Oct 2025 08:19:15 +0000
Subject: [PATCH] Apply 'make format'

---
 src/V3Randomize.cpp | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp
index b25d3bcfd..161460b8b 100644
--- a/src/V3Randomize.cpp
+++ b/src/V3Randomize.cpp
@@ -242,7 +242,7 @@ class RandomizeMarkVisitor final : public VNVisitor {
 
     // Process a single constraint during nested constraint cloning
     void processNestedConstraint(AstConstraint* const constrp, AstVarRef* rootVarRefp,
-                                  const std::vector<AstVar*>& newPath) {
+                                 const std::vector<AstVar*>& newPath) {
         if (!constrp) return;
 
         AstConstraint* cloneConstrp = constrp->cloneTree(false);
@@ -283,11 +283,12 @@ class RandomizeMarkVisitor final : public VNVisitor {
 
                         std::vector<AstVar*> newPath = pathToClass;
                         newPath.push_back(memberVarp);
-                        // Replace all variable references inside the cloned constraint with proper member selections
-                        nestedClassp->foreachMember([&](AstClass* const containingClassp,
-                                                        AstConstraint* const constrp) {
-                            processNestedConstraint(constrp, rootVarRefp, newPath);
-                        });
+                        // Replace all variable references inside the cloned constraint with proper
+                        // member selections
+                        nestedClassp->foreachMember(
+                            [&](AstClass* const containingClassp, AstConstraint* const constrp) {
+                                processNestedConstraint(constrp, rootVarRefp, newPath);
+                            });
 
                         cloneNestedConstraintsRecurse(rootVarRefp, nestedClassp, newPath);
                     }