s/caracterizing/characterizing/

6c12ab0b · James Earl Douglas · 0b232f11 · 6c12ab0b
Commit 6c12ab0b authored 9 years ago by James Earl Douglas
--- 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: