From 35dfc9091a83141f367d24a27c8460c197fad365 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 27 Nov 2023 14:05:02 -0500 Subject: [PATCH] Fix the crucible-mir-comp build --- crucible-mir-comp/src/Mir/Compositional/Builder.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crucible-mir-comp/src/Mir/Compositional/Builder.hs b/crucible-mir-comp/src/Mir/Compositional/Builder.hs index 9743a2af2f..f3884b74ac 100644 --- a/crucible-mir-comp/src/Mir/Compositional/Builder.hs +++ b/crucible-mir-comp/src/Mir/Compositional/Builder.hs @@ -645,8 +645,9 @@ substMethodSpec sc sm ms = do goSetupCondition (MS.SetupCond_Ghost b loc gg tt) = MS.SetupCond_Ghost b loc gg <$> goTypedTerm tt - goSetupEnum (MirSetupEnumVariant adt variantNm svs) = - MirSetupEnumVariant adt variantNm <$> mapM goSetupValue svs + goSetupEnum (MirSetupEnumVariant adt variant discr variantIdx svs) = + MirSetupEnumVariant adt variant discr variantIdx <$> + mapM goSetupValue svs goSetupEnum sv@(MirSetupEnumSymbolic _) = return sv