Yeah, you might as well. Otherwise, chances are it'll get closed. We have a close reason for:
This question was caused by a problem that can no longer be reproduced or a simple typographical error. While similar questions may be on-topic here, this one was resolved in a manner unlikely to help future readers. This can often be avoided by identifying and closely inspecting the shortest program necessary to reproduce the problemshortest program necessary to reproduce the problem before posting.