📝 change identifiers' name

This commit is contained in:
ValKmjolnir
2022-07-18 23:54:44 +08:00
parent d904123695
commit cfbec9a3f1
5 changed files with 25 additions and 28 deletions
+1 -1
View File
@@ -22,7 +22,7 @@ private:
public:
nasal_import(nasal_err&);
void link(nasal_parse&,const std::string&);
const std::vector<std::string>& get_file() const {return files;}
const std::vector<std::string>& filelist() const {return files;}
};
nasal_import::nasal_import(nasal_err& e):lib_loaded(false),nerr(e){