From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Tue, 13 Aug 2013 23:50:32 +0000 (-0400)
Subject: Fix sphinx warning
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=1ca7623eee0ec19f16952cff5f92d45642d21ef1;p=dyna2

Fix sphinx warning
---

diff --git a/docs/sphinx/spec/index.rst b/docs/sphinx/spec/index.rst
index a65db77..16c09e6 100644
--- a/docs/sphinx/spec/index.rst
+++ b/docs/sphinx/spec/index.rst
@@ -175,7 +175,7 @@ Possible future extensions
 Guarded types?  Nonlinear types?  Parametric types?
 
 Type coercion
-============
+=============
 
 
 Unification