[temp.explicit] Fix the comment in Example 2

Author: ckwastra

source/templates.tex

@@ -7016,7 +7016,7 @@
 template int *var<int>;         // error: instantiated variable has type \tcode{int}
 
 template<typename T> auto av = T();
-template int av<int>;           // OK, variable with type \tcode{int} can be redeclared with type \keyword{auto}
+template int av<int>;           // OK, variable with type \tcode{auto} can be redeclared with type \keyword{int}
 
 template<typename T> auto f() {}
 template void f<int>();         // error: function with deduced return type