diff --git a/source/meta.tex b/source/meta.tex index 474ef233ca..cb6af29172 100644 --- a/source/meta.tex +++ b/source/meta.tex @@ -4039,7 +4039,7 @@ static_assert(^^x != ^^y); // OK, \tcode{x} and \tcode{y} are different variables, // so their reflections compare different static_assert(constant_of(^^x) == - constant_of(^^y)); // OK, both \tcode{constant_of(x)} and + constant_of(^^y)); // OK, both \tcode{constant_of(\reflexpr{x})} and // \tcode{constant_of(\reflexpr{y})} represent the value \tcode{0} static_assert(constant_of(^^x) == reflect_constant(0)); // OK, likewise