Skip to content
Snippets Groups Projects
Commit 329774de authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

[EMF] bug solved, some ids were not hashed

parent def94a59
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/backends/EMF/EMF_common.ml
+ 1
− 1
View file @ 329774de
...@@ -187,7 +187,7 @@ let pp_emf_cst_or_var fmt v = ...@@ -187,7 +187,7 @@ let pp_emf_cst_or_var fmt v =
| LocalVar v | LocalVar v
| StateVar v -> ( | StateVar v -> (
fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ " fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ "
Printers.pp_var_name v; pp_var_name v;
fprintf fmt "\"datatype\": \"%a\"@ " pp_var_type v; fprintf fmt "\"datatype\": \"%a\"@ " pp_var_type v;
fprintf fmt "@]}" fprintf fmt "@]}"
) )
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment