diff --git a/build/gen_stub.php b/build/gen_stub.php
index c64aa65530f..2e9f1417b5e 100755
--- a/build/gen_stub.php
+++ b/build/gen_stub.php
@@ -2250,7 +2250,7 @@ OUPUT_EXAMPLE
 
 class EvaluatedValue
 {
-    public /* readonly */ /* mixed */ $value;
+    public /* readonly */ mixed $value;
     public SimpleType $type;
     public Expr $expr;
     public bool $isUnknownConstValue;