From: Markus Schöpflin (markus.schoepflin_at_[hidden])
Date: 2002-09-05 03:47:40


char_separator<char> sep("\t", "", keep_empty_tokens);

should do the trick.

HTH, Markus