[developers] Bug in interactive unification

[Stephan Oepen]

hi guy,

> I also get this behaviour (no LUI window appearing) if I try to display a type that has no features (obviously, this isn't a useful display on its own, but it would be helpful for interactive unification to be able to drag and drop the type).  The log file says:
>
> YZLUI: Received unknown lkb-protocol top-level command: AVM

could you send the complete log output, i.e. including the 'avm'
command that LUI fails to recognize?

oe