diff --git a/src/editprop.c b/src/editprop.c index 074f6add..715cadf7 100644 --- a/src/editprop.c +++ b/src/editprop.c @@ -988,8 +988,7 @@ void update_symbol(const char *result, int x) new_name = get_tok_value(new_prop, "name", 0); if(!name || new_name[0] != name[0]) allow_change_name = 1; } - for(k=0;k