<div dir="ltr">Dear Developers,<div><br></div><div>Have you seen this behavior? (10 seconds video; basically, in some cases, there is no unification result or failure, just no visible reaction on the unification attempt)</div><div><br></div><div><a href="https://youtu.be/Ifqn1iAodSg">https://youtu.be/Ifqn1iAodSg</a><br></div><div><br></div><div>Am I using the software wrong somehow (how? can you tell?), or is this a bug?</div><div><br></div><div>I tried this with LKB FOS with the latest maclui but also with logon on ubuntu.</div><div><br></div><div> <br clear="all"><div>Thanks!</div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">Olga Zamaraeva</div></div></div>