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

[D. Hugh Redelmeier]

New commits:
commit ae9b06c4dcb3c94c5ee33d99777314f43cd3dc4c
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Thu Apr 3 12:16:48 2014 -0400

    Don't use a pointer as a boolean.
    LEMPTY is more appropriate than 0 as an empty set.

commit 4db549bed5ec429e320a1e30cef57e96156332c1
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Thu Apr 3 12:14:15 2014 -0400

    get rid of local "len" in sanitize_string() -- no longer used