rewrite to avoid build failure on linux CI

WebAssembly · Oct 21, 2023 · 36232dc · 36232dc
1 parent 0743c14
commit 36232dc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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());
 }