tree ce34fa04ac9d6b1a26686722b53573e6c7ba8df0
parent acc12a9b5ebdb6f08b4189d39007d0e9b43c51d6
author Till Westmann <tillw@apache.org> 1459197997 -0700
committer Till Westmann <tillw@apache.org> 1459203004 -0700

fixed typo in interval printers

Change-Id: I3d02e697624865b955e5f1991e7ea509d1dc0d21
Reviewed-on: https://asterix-gerrit.ics.uci.edu/762
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>