diff --git a/lib/base/exception.cpp b/lib/base/exception.cpp
index 025da3315..5ab24cec0 100644
--- a/lib/base/exception.cpp
+++ b/lib/base/exception.cpp
@@ -32,6 +32,14 @@ public:
 
 
 #if defined(__GLIBCXX__) || defined(_LIBCPPABI_VERSION)
+/**
+ * Attempts to cast an exception to a destination type
+ *
+ * @param obj Exception to be casted
+ * @param src Type information of obj
+ * @param dst Information of which type to cast to
+ * @return Pointer to the exception if the cast is possible, nullptr otherwise
+ */
 inline void *cast_exception(void *obj, const std::type_info *src, const std::type_info *dst)
 {
 #ifdef __GLIBCXX__