Remove unused Error.name field

2022-04-08 11:31:51 +02:00
parent 8b1e328d5d
commit 168ef9f3ab
4 changed files with 2 additions and 8 deletions
@@ -109,7 +109,6 @@ struct Trace {

 struct ErrorInfo {
    Verbosity level;
-    std::string name; // FIXME: rename
    hintformat msg;
    std::optional<ErrPos> errPos;
    std::list<Trace> traces;