[develop->master] Do not add an "l" prefix to double constants when double==long double#1325

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:double-output

Sep 2, 2017

Commits on Sep 1, 2017

Do not add an "l" prefix to double constants when double==long double
tautschnig
committed