comparison src/elab_print.sig @ 428:3ca00463de20

Make *_w function prototypes match header file
author adamc@hnf.impredicative.com
date Fri, 24 Oct 2008 19:59:17 -0400
parents 71bafe66dbe1
children 588b9d16b00a
comparison
equal deleted inserted replaced
427:0eb7bb4872d0 428:3ca00463de20