Skip to content
  • Erwan Jahier's avatar
    lurette 0.114 Wed, 06 Nov 2002 13:22:44 +0100 by jahier · f55cbb26
    Erwan Jahier authored
    Parent-Version:      0.113
    Version-Log:
    
    source/parse_env.ml:
       When floats output vars are not constraint, use [-10^11, 10^11]
       as default domain. The rational for this change is that sim2chro
       does not seem to be able to print bigger floats (probably because
       it does not understand the 123e+234 notation.
    
    Project-Description: Lurette
    f55cbb26