Commit 3b371b39 authored by MARCHE Claude's avatar MARCHE Claude

hack to allow session update from WhyML 0.8x to WhyML 0.90

parent b73df5d1
......@@ -1237,6 +1237,13 @@ let load_option attr g =
let load_ident elt =
let name = string_attribute "name" elt in
(* temporary hack to update sessions from WhyML 0.8x *)
let name =
if String.length name >= 13 &&
String.sub name 0 13 = "WP_parameter " then
"VC " ^ String.sub name 13 (String.length name - 13)
else name
in
let label = List.fold_left
(fun acc label ->
match label with
......
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