Remove debug console.log from PromptAtom#2938

remiangot wants to merge 1 commit intoarnog:masterarnog/mathlive:masterfrom

remiangot:masterremiangot/mathlive:masterCopy head branch name to clipboard