From 1859687d11f1669f54596a9156995cc76195206b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Tue, 12 Feb 2019 10:34:19 +0000
Subject: [PATCH] Adds subsection heading for type and effect inference.

---
 thesis.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/thesis.tex b/thesis.tex
index 9bbcd7c..0327647 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -136,6 +136,7 @@ Related work\dots
 \label{ch:language}
 \section{Syntax}
 \section{Static semantics}
+\section{Type and effect inference}
 \section{Dynamic semantics}
 
 \chapter{Operational Foundations for Effect Handlers}