On 2013-08-30, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Correction: *asksign* results are supposed to be persistent; *sign* is not
> supposed to change the database at all. Calling clearsign from sign to
> clear *all* assumptions is wrong. If for some reason sign has the
> side-effect of changing the database, that is a bug in sign which needs to
> be fixed at the source.
I'll take a look at using supcontext/killcontext instead of clearsign.
best
Robert Dodier