Commit bea581b6 authored by Andrei Paskevich's avatar Andrei Paskevich

remove trailing whitespace

parent fb9ff35a
......@@ -947,11 +947,11 @@ let add_wp_decl km name f uc =
(* prepare a proposition symbol *)
let s = "WP_parameter " ^ name.id_string in
(* set a proper explanation *)
let n =
let n =
try let _,_,l = restore_path name in
String.concat "." l
with Not_found -> name.id_string
in
in
let lab = Ident.create_label ("expl:VC for " ^ n) in
let label = Slab.add lab name.id_label in
let id = id_fresh ~label ?loc:name.id_loc s 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