added reveal to MagicMiracleTrigger

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;
     }

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));
         }