From 5560b73cc5ea635109175ab33b638f66fc3e07e7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Thu, 4 Feb 2021 23:24:07 +0000
Subject: [PATCH] note

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

diff --git a/thesis.tex b/thesis.tex
index 2c63329..1495d6d 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -8026,7 +8026,7 @@ meaning. It is derived from \citeauthor{Plotkin76}'s domain of
 resumptions, which in turn is derived from \citeauthor{Milner75}'s
 domain of processes~\cite{Milner75,Plotkin76}.
 
-\citet{AtkeyJ15}
+\dhil{Briefly mention \citet{AtkeyJ15}}
 
 \part{Implementation}