From 1c8e78e3aed1b957538c3545e01f9dd8b38cffcb Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 24 Apr 2014 15:08:10 -0700
Subject: [PATCH] fix(kernel/justification): typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/justification.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<format(formatter const &, options const &, substitution const &)> pp_jst_sfn;