From f07004e27c90cfb7786d4fa418da147f5178d991 Mon Sep 17 00:00:00 2001
From: "Alex W. Jackson" <alex.w.jackson@gmail.com>
Date: Tue, 19 Apr 2022 03:57:03 -0400
Subject: [PATCH] Fix #8533

---
 Mage.Sets/src/mage/cards/d/DiabolicRevelation.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Mage.Sets/src/mage/cards/d/DiabolicRevelation.java b/Mage.Sets/src/mage/cards/d/DiabolicRevelation.java
index b2a0598d11..42bd43284f 100644
--- a/Mage.Sets/src/mage/cards/d/DiabolicRevelation.java
+++ b/Mage.Sets/src/mage/cards/d/DiabolicRevelation.java
@@ -57,8 +57,13 @@ class DiabolicRevelationEffect extends OneShotEffect {
         if (player == null) {
             return false;
         }
+        int xValue = source.getManaCostsToPay().getX();
+        if (xValue < 1) {
+            player.shuffleLibrary(source, game);
+            return true;
+        }
         TargetCardInLibrary target = new TargetCardInLibrary(
-                0, source.getManaCostsToPay().getX(), StaticFilters.FILTER_CARD
+                0, xValue, StaticFilters.FILTER_CARD
         );
         player.searchLibrary(target, source, game);
         Cards cards = new CardsImpl();