Project

General

Profile

Revision e5d77428 src/plugins/mpfr/mpfr.ml

View differences:

src/plugins/mpfr/mpfr.ml
97 97
  | ">"      -> "MPFRGt"
98 98
  | "="      -> "MPFREq"
99 99
  | "!="     -> "MPFRNeq"
100
  (* Conv functions *)
101
  | "int_to_real" -> "MPFRint_to_real"
100 102
  (* Math library functions *)
101 103
  | "acos" -> "MPFRacos"
102 104
  | "acosh" -> "MPFRacosh"

Also available in: Unified diff