Tried to fix some problems with the configuration system.

[splint.git] / test / db1 / employee.lcs

diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs
index 8ed498c031d1c1b52278a66171dc77f3716fef3c..2dea5b7b2ed5c4db4b1a0927d5a1edd3edb5656e 100644 (file)
--- a/test/db1/employee.lcs
+++ b/test/db1/employee.lcs
@@ -88,15 +88,15 @@
 %LCLop 9 : -> int
 %LCLop MALE : -> _eemployee0e_Enum
 %LCLop FEMALE : -> _eemployee0e_Enum
-%LCLop gender_ANY : -> _eemployee0e_Enum
 %LCLop __ * __  :int, int -> int
 %LCLop __ * __  :double, double -> double
+%LCLop gender_ANY : -> _eemployee0e_Enum
 %LCLop true : -> bool
 %LCLop false : -> bool
 %LCLop MGR : -> _eemployee1e_Enum
 %LCLop NONMGR : -> _eemployee1e_Enum
-%LCLop job_ANY : -> _eemployee1e_Enum
 %LCLop __ \and __  :bool, bool -> bool
+%LCLop job_ANY : -> _eemployee1e_Enum
 %LCLop __ \or __  :bool, bool -> bool
 %LCLop __ \eq __  :bool, bool -> bool
 %LCLop __ \eq __  :int, int -> bool