comparison src/elab_util.sml @ 2069:262dd74df39c

Replace common "if(!quiet) printf(...)" pattern with a macro
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 02 Sep 2014 17:36:14 +0000
parents 403f0cc65b9c
children 22117edf8fd3
comparison
equal deleted inserted replaced
2068:b6adfe99bb08 2069:262dd74df39c