diff --git a/src/helma/doc/DocPrototype.java b/src/helma/doc/DocPrototype.java index 45dc9e86..82868c59 100644 --- a/src/helma/doc/DocPrototype.java +++ b/src/helma/doc/DocPrototype.java @@ -79,7 +79,7 @@ public class DocPrototype extends DocDirElement { children.clear (); String arr[] = location.list (); for (int i=0; i