From 3fda920eae530300d12c36bd13cb16cecc8d1510 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <daniel.hillerstrom@ed.ac.uk>
Date: Fri, 13 Aug 2021 11:35:08 +0100
Subject: [PATCH] Minor improvement

---
 slides/viva.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/slides/viva.tex b/slides/viva.tex
index 034e36e..0aa0531 100644
--- a/slides/viva.tex
+++ b/slides/viva.tex
@@ -137,7 +137,7 @@
   handlers.\\[2em]
 
   \[
-    \Scale[2]{\cek{C \mid E \mid K = \overline{((H,E), \sigma)}}}
+    \Scale[2]{\cek{C \mid E \mid K = \overline{(\sigma, (H,E))}}}
   \]\\[2em]
 
   \textbf{Relevant papers} TyDe'16~\cite{HillerstromL16},