On Tue, Jun 07, 2016 at 10:45 -0400, you wrote: > Is there some reason why "new Val(%s, TYPE_BOOL)" is correct for the > TYPE_INT constructor here? Sure looks like a typo, I just fixed it in master. Thanks! Robin -- Robin Sommer * ICSI/LBNL * robin at icir.org * www.icir.org/robin