Fix the crucible-mir-comp build

GaloisInc · Nov 27, 2023 · 35dfc90 · 35dfc90
1 parent 484fb25
commit 35dfc90
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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