Project

General

Profile

Revision f0195e96 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
52 52
    if !Options.mpfr &&
53 53
         extension = ".lus" (* trying to avoid the injection of the module for lusi files *) 
54 54
    then
55
      Mpfr.mpfr_module::prog
55
      Lustrec_mpfr.mpfr_module::prog
56 56
    else
57 57
      prog
58 58
  in

Also available in: Unified diff