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