My best guess is that the mic plug wasn't seated in the jack. If it never happens again then you'll never know. Other than that you should just do conventional troubleshooting substituting known working gear in place of the questionable gear until you can isolate a problem.