diff --git a/src/kernel/justification.h b/src/kernel/justification.h index 9dcac36dc..8a6b0d8ee 100644 --- a/src/kernel/justification.h +++ b/src/kernel/justification.h @@ -75,7 +75,7 @@ public: }; /** - \brief Simplifer version of pp_jst_fn + \brief Simpler version of pp_jst_fn */ typedef std::function pp_jst_sfn;