Fix primMname in External Core printer
authorTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 00:52:46 +0000 (00:52 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Mon, 24 Mar 2008 00:52:46 +0000 (00:52 +0000)
My earlier changes broke printing of function types in .hcr files.
In other words: the z-encoding must die.


No differences found