annotate demo/constraints.urs @ 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 74a090ff296e
children
rev   line source
adamc@773 1 val main : unit -> transaction page