Ascii writer does not escape empty sets / vectors

Description

The script

Outputs the line

to a log-file. This makes it impossible to distinguish a line containing EMPTY from a line containing an empty set.

Environment

None

Assignee

Robin Sommer

Reporter

Johanna Amann

Labels

None

External issue ID

931

Components

Fix versions

Affects versions

Priority

Normal
Configure