From 36232dc3f1502af18e5ea6a50bc1b526acd86188 Mon Sep 17 00:00:00 2001
From: Thomas Lively <tlively@google.com>
Date: Fri, 20 Oct 2023 22:00:41 -0700
Subject: [PATCH] rewrite to avoid build failure on linux CI

---
 test/gtest/lattices.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/gtest/lattices.cpp b/test/gtest/lattices.cpp
index ddecd45d522..75b232b8e16 100644
--- a/test/gtest/lattices.cpp
+++ b/test/gtest/lattices.cpp
@@ -189,8 +189,8 @@ TEST(InvertedLattice, Meet) {
 }
 
 TEST(InvertedLattice, DoubleInverted) {
-  analysis::Inverted<analysis::Inverted<analysis::Bool>> identity(
-    analysis::Inverted{analysis::Bool{}});
+  using DoubleInverted = analysis::Inverted<analysis::Inverted<analysis::Bool>>;
+  DoubleInverted identity(analysis::Inverted<analysis::Bool>{analysis::Bool{}});
   EXPECT_FALSE(identity.getBottom());
   EXPECT_TRUE(identity.getTop());
 }