comparison src/expl_env.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 e976b187d73a
children d34834af4512
comparison
equal deleted inserted replaced
427:0eb7bb4872d0 428:3ca00463de20