Re: [Gnu-arch-users] Serious problem here

[Matthew Dempsky]

Ulf Ochsenfahrt <address@hidden> writes:

> # tla get address@hidden/cqs--mainline--0.2 cqs3
> Password:
> * ensuring library has address@hidden/cqs--mainline--0.2--patch-140
> * searching ancestor revision in library in archive address@hidden
> * found ancestor revision in library 
> (address@hidden/cqs--mainline--0.2--patch-138)
> * patching for this revision (address@hidden/cqs--mainline--0.2--patch-140)
> * patching for revision address@hidden/cqs--mainline--0.2--patch-139
> /home/asuffield/arch/dists/tla/tla-1.3/src/tla/libarch/library-txn.c:492:botched
>  invariant
>     !replay_status
> PANIC: exiting on botched invariant

Yow.

Do you get this same botched invariant if you try with the version of
tla you were using before?  Which version were you using when this was
committed?