Simple modification to tests.

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

diff --git a/test/db1/employee.lcs b/test/db1/employee.lcs
index ac83dd74d1cca57c161e9b3131ddd59bc6ed8947..977ab459bfe31b90d7e09433250e1bb4284de0b4 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