From 90dbcb271c5e6d7ca73c19a519b93885b833db0a Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Sun, 14 Jul 2002 20:54:03 +0000 Subject: properly handle workspace names, and changes to them. --- src/Basemenu.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Basemenu.cc') diff --git a/src/Basemenu.cc b/src/Basemenu.cc index 8feb7372..775d49a8 100644 --- a/src/Basemenu.cc +++ b/src/Basemenu.cc @@ -202,7 +202,7 @@ int Basemenu::insert(BasemenuItem *item, int pos) { if (pos < 0) { menuitems.push_back(item); } else { - assert(pos < static_cast(menuitems.size())); + assert(pos <= static_cast(menuitems.size())); menuitems.insert((menuitems.begin() + pos), item); } return menuitems.size(); -- cgit v1.2.3