Error 4123 on wait-for U1 of this-procedure in Linux

[D.Cook]

I am having a problem with a wait-for with a sole condition of U1 of the current procedure. The wait-for statement is below, and works fine in batch mode on Windows, but not Linux.

wait-for U1 of this-procedure
   pause vl_pause.

There is one procedure defined in this program which has the following line:

apply "U1" to this-procedure.

Only in Linux do I get this error:

None of the widgets used in the WAIT-FOR statement are in a state (such as SENSITIVE) such that the specified event can occur. WAIT-FOR terminated. (4123)

Any clues??

 

[D.Cook]

Ahh I think I have the answer already: I'm running 10.1B on Linux and 10.1C on Windows; apparently there's a bug in 10.1A-B (Bug# OE00151650) which causes this.
(see P124156)