[ast-developers] Spurrious output in kia file creation

[Siteshwar Vashisht]

cat test.sh

#!/bin/sh

[[ $A -lt $B ]]

ksh -R foo test.sh

test.sh: warning: line 3: -lt within [[...]] obsolete, use ((...))

grep obsolete foo

1gxOEe;v;Bst.sh: warning: line 3: -lt within [[...]] obsolete, use ((...))

Expected result:
There should not be a warning in cross reference database file.

I am attaching a patch that fixes this issue. Thanks to Paulo Andrade <***@redhat.com> for the patch.