From 2a37b8f89e582c6588e0bd2c7539669cf8e7f59d Mon Sep 17 00:00:00 2001 From: Mike Date: Fri, 21 Jun 2024 10:58:00 -0700 Subject: [PATCH] realm: more format fixes --- test/realm/deppart.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/realm/deppart.cc b/test/realm/deppart.cc index de57e6d527..554dceb557 100644 --- a/test/realm/deppart.cc +++ b/test/realm/deppart.cc @@ -1613,7 +1613,7 @@ class PennantTest : public TestInterface { a_side_ok.write(ps0, true); a_side_ok.write(ps1, true); a_side_ok.write(ps2, true); - a_side_ok.write(ps3, true); + a_side_ok.write(ps3, true); pz[0]++; }