From ad63d0a98d8595d3267fd81196cf8c96361bd911 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Mon, 11 Jul 2022 20:13:42 +0200
Subject: Updates updates

---
 sections/introduction.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sections/introduction.tex')

diff --git a/sections/introduction.tex b/sections/introduction.tex
index 34b42f8..655cba7 100644
--- a/sections/introduction.tex
+++ b/sections/introduction.tex
@@ -26,7 +26,7 @@
   \ref{definition:generic_automorphism}, which was first proved
   by Truss in \cite{truss_gen_aut}, where he also introduced the term. 
 
-  The key Theorem \ref{theorem:generic_aut_general}
+  The key Theorem \ref{theorem:key-theorem}
   says that a Fraïssé class with canonical amalgamation and weak Hrushovski
   property has a generic automorphism. The fact that such an automorphism
   exists in this case follows from the classical results of Ivanov \cite{ivanov_1999}
-- 
cgit v1.2.3