#1558: trying to activate more thorns than compiled into Cactus leads to strange error message ---------------------+------------------------------------------------------ Reporter: rhaas | Owner: Type: defect | Status: review Priority: minor | Milestone: Component: Cactus | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------
Comment (by eschnett):
Please apply.
I don't think it makes sense to replace the StringList implementation by map. However, the places that use StringList should slowly be converted to use map etc. instead.