Renamed Registry -> GenericRegistry to make it clear that this registry does

[core.git] / inc / main / interfaces / visitor / pool / class_PoolVisitor.php

diff --git a/inc/main/interfaces/visitor/pool/class_PoolVisitor.php b/inc/main/interfaces/visitor/pool/class_PoolVisitor.php
index bc746ac94a88b28fcf94efa6028580f88c3a1026..426a12b17e5c96b931b93936ba38c9717cf9b633 100644 (file)
--- a/inc/main/interfaces/visitor/pool/class_PoolVisitor.php
+++ b/inc/main/interfaces/visitor/pool/class_PoolVisitor.php
@@ -29,7 +29,5 @@ interface PoolVisitor extends Visitor {
         * @return      void
         */
        function visitPool (Poolable $poolInstance);
-}
 
-// [EOF]
-?>
+}