comparison src/order.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 8a70e2919e86
children ffa18975e661
comparison
equal deleted inserted replaced
427:0eb7bb4872d0 428:3ca00463de20