diff --git a/web/js/codemirror/mode/prolog/prolog_server.js b/web/js/codemirror/mode/prolog/prolog_server.js index 92b264b75..dfb7f92be 100644 --- a/web/js/codemirror/mode/prolog/prolog_server.js +++ b/web/js/codemirror/mode/prolog/prolog_server.js @@ -189,8 +189,8 @@ classification of tokens. return; state.uuid = generateUUID(); msg.uuid = state.uuid; - msg.role = state.role; } + msg.role = state.role; if ( typeof(state.sourceID) == "function" ) msg.sourceID = state.sourceID();