Project

General

Profile

Revision d97c196a src/options.ml

View differences:

src/options.ml
43 43

  
44 44

  
45 45
let set_mpfr prec =
46
  if prec > 2 then (
46
  if prec > 1 then (
47 47
    mpfr := true;
48 48
    mpfr_prec := prec;
49 49
    (* salsa_enabled := false; (* We deactivate salsa *) TODO *)
50 50
  )
51 51
  else
52
    failwith "mpfr requires an integer > 2"
52
    failwith "mpfr requires an integer > 1"
53 53
			
54 54
let options =
55 55
  [ "-d", Arg.Set_string dest_dir,

Also available in: Unified diff