diff -Nur openmotif-2.3.3-old//tools/wml/wmluiltok.l openmotif-2.3.3/tools/wml/wmluiltok.l --- openmotif-2.3.3-old//tools/wml/wmluiltok.l 2011-08-11 13:11:10.745000200 +0300 +++ openmotif-2.3.3/tools/wml/wmluiltok.l 2011-08-11 13:11:31.759000456 +0300 @@ -107,6 +107,7 @@ %} +%option main %%
