Updates updates

1 files changed, 1 insertions, 1 deletions

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}