diff --git a/src/main/java/api/messages/GoblintMessagesResult.java b/src/main/java/api/messages/GoblintMessagesResult.java index 76ed83a..5d5af04 100644 --- a/src/main/java/api/messages/GoblintMessagesResult.java +++ b/src/main/java/api/messages/GoblintMessagesResult.java @@ -60,7 +60,7 @@ public static class Piece implements MultiPiece { private GoblintLocation loc; /** - * Converts the Single (Piece) type of Goblint messages from the + * Converts the Single (Piece type of) Goblint messages from the * GoblintMessagesResult type to AnalysisResult that are needed for MagPieBridge. * * @param tags the tags of the warning given by Goblint @@ -82,7 +82,7 @@ public static class Group implements MultiPiece { private final List pieces = new ArrayList<>(); /** - * Converts the Single (Piece) type of Goblint messages from the + * Converts the Group Goblint messages from the * GoblintMessagesResult type to AnalysisResult that are needed for MagPieBridge. * * @param tags the tags of the warning given by Goblint