-void writeProperties (const string &file, const SGPropertyNode * start_node,
- bool write_all = false);
+void writeProperties (const std::string &file,
+ const SGPropertyNode * start_node,
+ bool write_all = false,
+ SGPropertyNode::Attribute archive_flag = SGPropertyNode::ARCHIVE);