Project

General

Profile

Revision 329774de

View differences:

src/backends/EMF/EMF_common.ml
187 187
  | LocalVar v
188 188
  | StateVar v -> (
189 189
    fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ "
190
      Printers.pp_var_name v;
190
      pp_var_name v;
191 191
    fprintf fmt "\"datatype\": \"%a\"@ " pp_var_type v;
192 192
    fprintf fmt "@]}"
193 193
  )

Also available in: Unified diff