Discontinued Operations (Tables)

12 Months Ended

Dec. 31, 2016

Discontinued Operations

Schedule of revenue and pre-tax income (loss) related to discontinued operations

Revenue and pre‑tax income (loss) related to discontinued operations are as follows (in thousands):

	Year Ended December 31,
	2016		2015		2014
Revenue		—		—	$	7
Pre-tax loss		—		—	$	(25)