tree 901c80a3167610911a0c85b60c96aa30c486a300
parent 27d5d3c45361242df244c9fe9568c1ea3faec87e
author Richard Henderson <rth@twiddle.net> 1303765769 -0700
committer Richard Henderson <rth@twiddle.net> 1303765769 -0700

Fix error in SWPCTX code.