reverts a mistake in prettyprinting Defn.Def
Merge pull request #15 from xeno-by/master

reverts a mistake in prettyprinting Defn.Def