tree b32c18e82afc1ca0236db1e4a683617fc72a54d1
parent 04ac20d126df5baaf0a3937e531c8ff74557a185
author Till Westmann <westmann@gmail.com> 1395079173 -0700
committer Till Westmann <westmann@gmail.com> 1395079173 -0700

improved printing of constants and types in plans