Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/options.ml
37 37
type option_output =
38 38
  | OutC
39 39
  | OutAda
40
  | OutJava
40 41
  | OutEMF
41 42
  | OutHorn
42 43
  | OutLustre
......
47 48
  Format.pp_print_string fmt (match !output with
48 49
  | OutC -> "C"
49 50
  | OutAda -> "Ada"
51
  | OutJava -> "Java"
50 52
  | OutEMF -> "EMF"
51 53
  | OutHorn -> "Horn"
52 54
  | OutLustre -> "Lustre")

Also available in: Unified diff