]> hydra-www.ietfng.org Git - dyna2/commitdiff
projects / dyna2 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8486ac6)
Fix sphinx warning
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 13 Aug 2013 23:50:32 +0000 (19:50 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Tue, 13 Aug 2013 23:50:32 +0000 (19:50 -0400)
docs/sphinx/spec/index.rst patch | blob | history

diff --git a/docs/sphinx/spec/index.rst b/docs/sphinx/spec/index.rst
index a65db77ea3ffad4b71a9bfe161d5cbf4beb26f00..16c09e6877d43165bb4df086805a81ece6e1d62c 100644 (file)
--- 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