Tiger Language Reference Manual: Typo in type equivalence

https://assignments.lrde.epita.fr/reference_manual/tiger_language_reference_manual/semantics/declarations/type_declarations/type_declarations.html

In Type equivalence should be let type a = int type b = int var a : a := 1 var b : b := 2 in a = b /* OK */ end