*/
/*
- * GiNaC Copyright (C) 1999-2010 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2011 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
for (std::vector<filedesc>::iterator it = filelist.begin(); it != filelist.end();) {
if (it->name == filename) {
clean_up(it);
- filelist.erase(it);
+ it = filelist.erase(it);
} else {
++it;
}