1.1 --- a/isac-java/src/java/isac/gui/mawen/syntax/isabelle/symbol.scala	Tue Sep 22 14:33:32 2020 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/syntax/isabelle/symbol.scala	Fri Mar 26 10:45:05 2021 +0100
     1.3 @@ -57,10 +57,7 @@
     1.4  
     1.5    def ascii(c: Char): Symbol =
     1.6    {
     1.7 -    if (c > 127) {
     1.8 -      Console.printf("Non-ASCII character: " + XLibrary.quote(c.toString));
     1.9 -      "Non-ASCII character: " + XLibrary.quote(c.toString)
    1.10 -    }
    1.11 +    if (c > 127) error("Non-ASCII character: " + XLibrary.quote(c.toString))
    1.12      else char_symbols(c.toInt)
    1.13    }
    1.14