diff options
Diffstat (limited to 'externals/grill/pool')
-rw-r--r-- | externals/grill/pool/source/pool.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/externals/grill/pool/source/pool.cpp b/externals/grill/pool/source/pool.cpp index 8773d72c..a4f0805e 100644 --- a/externals/grill/pool/source/pool.cpp +++ b/externals/grill/pool/source/pool.cpp @@ -862,8 +862,10 @@ BL pooldir::LdDirXML(istream &is,I depth,BL mkdir) if(!gettag(is,tag)) break; if(tag == "pool") { - if(tag.type == xmltag::t_start) - LdDirXMLRec(is,depth,mkdir,AtomList()); + if(tag.type == xmltag::t_start) { + AtomList empty; // must be a separate definition for gcc + LdDirXMLRec(is,depth,mkdir,empty); + } else post("pool - pool not initialized yet"); } |