stuff

IntersectMBO · Oct 14, 2023 · 3eb911a · 3eb911a
1 parent c4c7956
commit 3eb911a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cardano-api/internal/Cardano/Api/Eon/ShelleyBasedEra.hs b/cardano-api/internal/Cardano/Api/Eon/ShelleyBasedEra.hs
@@ -294,7 +294,8 @@ anyShelleyBasedEra sbe =
 --
 data InAnyShelleyBasedEra thing where
   InAnyShelleyBasedEra
-    :: ShelleyBasedEra era
+    :: IsShelleyBasedEra era
+    => ShelleyBasedEra era
     -> thing era
     -> InAnyShelleyBasedEra thing