make adt compile