Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
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
another step towards refactoring