From c5af457bdb867070ee60cfc6994114c5d25dfb27 Mon Sep 17 00:00:00 2001
From: chris <chris@web>
Date: Tue, 24 Feb 2015 16:45:05 -0500
Subject: [PATCH]

---
 topics/_week5_system_F.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index b8c6bf3d..150794e5 100644
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -1,4 +1,4 @@
-[[!toc]]
+[[!toc levels=2]]
 
 # System F and recursive types
 
-- 
2.11.0