Commit a78178fb authored by David Hauzar's avatar David Hauzar

Bugfix: the name in "model_trace:name" can be "".

parent 7ef0629a
......@@ -74,12 +74,12 @@ let rec add_quant kn (vl,tl,f) v =
let splitted = Str.bounded_split (Str.regexp_string ":") tl.lab_string 2 in
match splitted with
| [_; t_str] -> t_str
| _ -> assert false
| _ -> ""
with Not_found -> pj_ls.ls_name.id_string
end
| _ -> ""
) in
let field_str = "." ^ field_name in
let field_str = if field_name = "" then "" else "." ^ field_name in
let label = Ident.append_to_model_element_name
~labels:v.vs_name.id_label ~to_append:(field_str) in
create_vsymbol (id_lab label v.vs_name) (ty_inst s ty) in
......
Markdown is supported
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