From 931c6ff7e0512daa3f329c9bbd5484785c0b75fd Mon Sep 17 00:00:00 2001
From: Aggelos Biboudis <biboudis@gmail.com>
Date: Sat, 8 Jun 2019 09:43:16 +0200
Subject: [PATCH] Add entry

---
 docs/sidebar.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/sidebar.yml b/docs/sidebar.yml
index 879228ccfd70..e353ea8d3625 100644
--- a/docs/sidebar.yml
+++ b/docs/sidebar.yml
@@ -77,6 +77,8 @@ sidebar:
               url: docs/reference/metaprogramming/macros.html
             - title: Staging
               url: docs/reference/metaprogramming/staging.html
+            - title: Erased Terms
+              url: docs/reference/metaprogramming/erased-terms.html
             - title: TASTy Reflection
               url: docs/reference/metaprogramming/tasty-reflect.html
             - title: TASTy Inspection