lint

Signed-off-by: Mihai Budiu <mbudiu@vmware.com>
p4lang · Feb 14, 2023 · f427a02 · f427a02
1 parent 8a833ef
commit f427a02
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/frontends/p4/typeChecking/typeSubstitution.cpp b/frontends/p4/typeChecking/typeSubstitution.cpp
@@ -127,10 +127,10 @@ void TypeVariableSubstitution::debugValidate() {
     // Turn on only for debugging
     for (auto v : binding) {
         const IR::Type *subst = v.second;
-	TypeOccursVisitor occurs(v.first);
-	subst->apply(occurs);
-	BUG_CHECK(!occurs.occurs,
-		  "'%1%' occurs in '%2%' which replaces it", v.first, v.second);
+        TypeOccursVisitor occurs(v.first);
+        subst->apply(occurs);
+        BUG_CHECK(!occurs.occurs,
+                  "'%1%' occurs in '%2%' which replaces it", v.first, v.second);
     }
 #endif
 }