From 25333856d6e8aa02ca2ef046d4128f516dfa65e9 Mon Sep 17 00:00:00 2001
From: melvin <melvinzhang@gmail.com>
Date: Fri, 15 Feb 2013 13:45:53 +0800
Subject: [PATCH] added reveal to MagicMiracleTrigger

---
 src/magic/model/MagicCard.java                   | 4 ++++
 src/magic/model/trigger/MagicMiracleTrigger.java | 3 +++
 2 files changed, 7 insertions(+)

diff --git a/src/magic/model/MagicCard.java b/src/magic/model/MagicCard.java
index 19fdafac7a..bae19ad5d5 100644
--- a/src/magic/model/MagicCard.java
+++ b/src/magic/model/MagicCard.java
@@ -141,6 +141,10 @@ public class MagicCard implements MagicSource,MagicTarget,Comparable<MagicCard>
         return card;
     }
 
+    public void reveal() {
+        setKnown(true);
+    }
+
     void setKnown(final boolean known) {
         this.known=known;
     }
diff --git a/src/magic/model/trigger/MagicMiracleTrigger.java b/src/magic/model/trigger/MagicMiracleTrigger.java
index bddb675adb..38580c83b8 100644
--- a/src/magic/model/trigger/MagicMiracleTrigger.java
+++ b/src/magic/model/trigger/MagicMiracleTrigger.java
@@ -38,6 +38,9 @@ public class MagicMiracleTrigger extends MagicWhenDrawnTrigger {
             final Object[] choiceResults) {
         if (MagicMayChoice.isYesChoice(choiceResults[0])) {
             final MagicCard card = event.getCard();
+            
+            card.reveal();
+            
             final MagicActivation act = card.getCardDefinition().getCastActivation();
             game.addEvent(act.getEvent(card));
         }