From 6c12ab0b6cda72c097d0223ac2b80c5f7ec13889 Mon Sep 17 00:00:00 2001
From: James Earl Douglas <james@earldouglas.com>
Date: Sun, 19 Jul 2015 20:11:46 -0700
Subject: [PATCH] s/caracterizing/characterizing/

---
 doc/intro.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/intro.rst b/doc/intro.rst
index 2b2ced540..074452196 100644
--- a/doc/intro.rst
+++ b/doc/intro.rst
@@ -77,7 +77,7 @@ Program Synthesis
 -----------------
 
 As seen with verification, specifications provide an alternative and more
-descriptive way of caracterizing the behavior of a function. 
+descriptive way of characterizing the behavior of a function.
 Leon defines ways to use specifications instead of an actual implementation
 within your programs:
 
-- 
GitLab