The term "comp time" is not in OED nor Merriam-Webster, nor is the relevant sense of "comp" (compensatory). Fred Shapiro ------------------------------------------------------------ The American Dialect Society - http://www.americandialect.org