Fix typo

thesis/1-2-2-refinement-types.tex

@@ -86,8 +86,8 @@ Since the inception of set theory, mathematicians used \emph{set comprehension}
 
 \begin{listing}[H]
     \begin{minted}{rust}
-        const PRIME: Subtype where is_prime = 17;
-        const SMALL: Subtype where |x| x <= 255 = 9;
+        const PRIME: i32 where is_prime = 17;
+        const SMALL: u32 where |x| x <= 255 = 9;
     \end{minted}
     \caption{Constants with proven properties}
     \label{lst:proven-const-pretty}