safe-eiffel/ecli — pull request #8 by oligot (2014-01-08 08:30:40+00:00)
Title: Use ECLI_FLOAT instead of ECLI_REAL for FLOAT fields.

For FLOAT fields, the query assistant now generates ECLI_FLOAT
instead of ECLI_REAL.