Sylvain Pion 643ea487a0 Remove casts to Comparison_result. ... They are useless since we merged the various enum types.		2008-04-09 12:46:22 +00:00
..
kernel_ftC2.h	Remove casts to Comparison_result.	2008-04-09 12:46:22 +00:00
kernel_ftC3.h	Rename the following functions:	2008-04-09 12:20:25 +00:00