diff --git a/build.xml b/build.xml
index a3de2ce..f5be54b 100644
--- a/build.xml
+++ b/build.xml
@@ -3,7 +3,7 @@
basedir=".">
+ value="5.19" />
purgeTempFiles();
}
- public function __set(string $name, mixed $value): void {
+ public function __set(string $name, $value): void {
}
// public: