Patch #5672

[pspp-builds.git] / src / ui / gui / syntax-editor.c

diff --git a/src/ui/gui/syntax-editor.c b/src/ui/gui/syntax-editor.c
index a9564cb1a563fc959cee8f5c9dc80fe40d914f84..af6175f698e7ffe7e041a9504767e46a8d6214fb 100644 (file)
--- a/src/ui/gui/syntax-editor.c
+++ b/src/ui/gui/syntax-editor.c
@@ -228,6 +228,8 @@ execute_syntax (const struct syntax_editor *se, GtkTextIter start,
       if (result == CMD_EOF || result == CMD_FINISH)
        break;
     }
+
+  getl_abort_noninteractive (the_source_stream);
 }
 
 /* Parse and execute all the text in the buffer */