From 060bd49d701fab33f1ca55c5ac371520cdd89bfe Mon Sep 17 00:00:00 2001 From: Bretton Date: Thu, 21 Sep 2023 19:03:47 -0700 Subject: [PATCH] Fix tupleOpenTerm' --- saw-core/src/Verifier/SAW/OpenTerm.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/saw-core/src/Verifier/SAW/OpenTerm.hs b/saw-core/src/Verifier/SAW/OpenTerm.hs index 362cf45f85..700d73b522 100644 --- a/saw-core/src/Verifier/SAW/OpenTerm.hs +++ b/saw-core/src/Verifier/SAW/OpenTerm.hs @@ -223,7 +223,7 @@ projTupleOpenTerm i t = projTupleOpenTerm (i-1) (pairRightOpenTerm t) -- as the right-most element tupleOpenTerm' :: [OpenTerm] -> OpenTerm tupleOpenTerm' [] = unitOpenTerm -tupleOpenTerm' ts = foldr1 pairTypeOpenTerm ts +tupleOpenTerm' ts = foldr1 pairOpenTerm ts -- | Build a right-nested tuple type as an 'OpenTerm' tupleTypeOpenTerm' :: [OpenTerm] -> OpenTerm