From fbcb64023b9f751b477b05a3eae1db71cc03f86d Mon Sep 17 00:00:00 2001 From: "Paolo G. Giarrusso" Date: Tue, 29 Jan 2019 22:13:43 +0100 Subject: [PATCH] Try fixing compile error in docs http://dotty-ci.epfl.ch/lampepfl/dotty/10144/6 --- docs/sidebar.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/sidebar.yml b/docs/sidebar.yml index 3fcec6950d26..6672df319fc3 100644 --- a/docs/sidebar.yml +++ b/docs/sidebar.yml @@ -68,6 +68,7 @@ sidebar: - title: Kind Polymorphism url: docs/reference/other-new-features/kind-polymorphism.html - title: New Implicits + subsection: - title: Instance Definitions url: docs/reference/instances/instance-defs.html - title: Context Parameters