Оба варианта возможны. Выбор каждого из них может иметь несколько обоснований: смысловых, грамматических, стилистических. Например, ждали некое абстрактное чудо, но его не произошло: чуда не случилось. В другой ситуации не дождались конкретного позитивного результата: чудо не случилось. Гипотетическое рассуждение в рамках «если» допускает, как представляется, абстрактное и конкретное понимание чуда.
Последние ответы справочной службы
См. «Письмовник».
Страница ответа