diff src/elab_err.sml @ 428:3ca00463de20

Make *_w function prototypes match header file
author adamc@hnf.impredicative.com
date Fri, 24 Oct 2008 19:59:17 -0400
parents 6a0e54400805
children 588b9d16b00a
line wrap: on
line diff