• Stéphane Adjemian's avatar
    Fixed bug introduced in 985d7423. · 2479a2a7
    Stéphane Adjemian authored
    If a float smaller than one in absolute value is written without a
    leading zero in the mod file, for instance as `.5`, we really need to
    prefix the number with a zero. The simplest approach is to convert
    the strings representing the numerical constants into floats.
ExprNode.cc 315 KB