From 1ca7623eee0ec19f16952cff5f92d45642d21ef1 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Tue, 13 Aug 2013 19:50:32 -0400 Subject: [PATCH] Fix sphinx warning --- docs/sphinx/spec/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.50.1