Project

General

Profile

« Previous | Next » 

Revision 3151ebe1

Added by Pierre-Loïc Garoche almost 5 years ago

Bug solved: EMF backend was forced

View differences:

src/options.ml
64 64
    failwith "mpfr requires a positive integer"
65 65

  
66 66
let set_backend s =
67
  output := "emf";
67
  output := s;
68 68
  Backends.setup s
69 69
  
70 70
let options =

Also available in: Unified diff