From b44976f351bd39f4a3d7bcf64548860498805eb7 Mon Sep 17 00:00:00 2001
From: Dominik Drexler <dominik.drexler@gmx.net>
Date: Mon, 1 Jan 2024 20:50:02 +0100
Subject: [PATCH] comment

---
 include/common/pddl/base.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/common/pddl/base.hpp b/include/common/pddl/base.hpp
index 03d6f945..0b96e0ea 100644
--- a/include/common/pddl/base.hpp
+++ b/include/common/pddl/base.hpp
@@ -38,7 +38,9 @@ namespace loki {
 ///            * Type
 ///            * Object
 ///            * Variable
+///            * Term
 ///            * Atom
+///            * NumericFluent
 ///            * Literal
 ///            * Parameter
 ///            * Function