Continued:

[core.git] / framework / main / exceptions / file_directory / class_DirPointerNotOpenedException.php

diff --git a/framework/main/exceptions/file_directory/class_DirPointerNotOpenedException.php b/framework/main/exceptions/file_directory/class_DirPointerNotOpenedException.php
index cbafa2dbcc5cac78d807babb5b853e651c854997..dcdb3e58c8132960f5cc444e30d4a662b3efb25b 100644 (file)
--- a/framework/main/exceptions/file_directory/class_DirPointerNotOpenedException.php
+++ b/framework/main/exceptions/file_directory/class_DirPointerNotOpenedException.php
@@ -35,7 +35,7 @@ class DirPointerNotOpenedException extends FrameworkException {
         * @param       $code   Code number for the exception
         * @return      void
         */
-       public function __construct ($path, $code) {
+       public function __construct (string $path, int $code) {
                // Add a message around the missing class
                $message = sprintf('No pointer could be initialized for path "%s".', $path);