Improve documentation

VeriFIT · Apr 17, 2024 · d8814c2 · d8814c2
1 parent d657670
commit d8814c2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/mata/nft/nft.hh b/include/mata/nft/nft.hh
@@ -53,9 +53,9 @@ public:
     Levels(std::vector<Level>&& levels): super(std::move(levels)) {}
 
     /**
-     * @brief Append post vector to the delta.
+     * @brief Append @p levels_vector to the end of @c this.
      *
-     * @param post_vector Vector of posts to be appended.
+     * @param[in] levels_vector Vector of levels to be appended.
      */
     void append(const Levels& levels_vector) { for (const Level& level: levels_vector) { push_back(level); } }
 };