Fix an issue with error reporting in parallel threads.

gap-system · Nov 25, 2019 · 8305416 · 8305416
1 parent 012238d
commit 8305416
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/error.g b/lib/error.g
@@ -23,7 +23,7 @@ end);
 #############################################################################
 ##
 ## Default stream for error messages.
-ERROR_OUTPUT := "*errout*";
+ERROR_OUTPUT := MakeImmutable("*errout*");
 
 #############################################################################
 ##