This PR fixes the color of the queries answers in terminal whether in command line Lambdapi or in Lsp Lambdapi.
As explained in this issue, color should be black instead of red.
Besides, This PR fix an issue that has been uncounted with command line Lambdapi when Console.out was used in the code (The coloring of the displayed text was ignored).
This PR fixes the color of the queries answers in terminal whether in command line Lambdapi or in Lsp Lambdapi. As explained in this issue, color should be black instead of red.
Besides, This PR fix an issue that has been uncounted with command line Lambdapi when Console.out was used in the code (The coloring of the displayed text was ignored).