Fix typo

goblint · Aug 16, 2023 · 6ffc702 · 6ffc702
1 parent 828a8dc
commit 6ffc702
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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<Piece> 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