diff --git a/build/gen_stub.php b/build/gen_stub.php
index 9cd9b9a1876..2670e85458d 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -2235,7 +2235,7 @@ OUPUT_EXAMPLE
 
 class EvaluatedValue
 {
-    public /* readonly */ mixed $value;
+    public /* readonly */ /* mixed */ $value;
     public SimpleType $type;
     public Expr $expr;
     public bool $isUnknownConstValue;