Commit 65b8321a authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove extraneous space.

parent 62bfbb18
......@@ -677,7 +677,7 @@ and f_btop env f = match f.t_node with
let add_wp_decl ps f uc =
let name = ps.ps_pure.ls_name in
let s = "WP_" ^ name.id_string in
let label = ["expl: " ^ name.id_string] in
let label = ["expl:" ^ name.id_string] in
let id = id_fresh ~label ?loc:name.id_loc s in
let f = f_btop uc f in
let km = get_known (pure_uc uc) in
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment