[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit 62a7226c10c34315be344164cddc15d4090a41a8
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Apr 15 16:14:55 2014 -0400

    reduce scope of a local; ditch blank lines

commit ca3b74a291e8779736a210d7834770e627922264
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Apr 15 16:13:50 2014 -0400

    force alignment of allocation with "unsigned long long"; was "unsigned long"

commit a285567384bdef568fd4429f717516be9d60fca5
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Apr 15 16:11:36 2014 -0400

    programs/pluto/plutomain.c: slight simplification