Commit 586d39cb authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix why3doc generating links only for theory names.

parent 19021624
...@@ -67,7 +67,9 @@ let css = ...@@ -67,7 +67,9 @@ let css =
let do_file env fname = let do_file env fname =
let m = Env.read_file env fname in let m = Env.read_file env fname in
let add _s th = Doc_def.add_ident th.th_name in let add _s th =
Doc_def.add_ident th.th_name;
Ident.Sid.iter Doc_def.add_ident th.th_local in
Mstr.iter add m Mstr.iter add m
let print_file fname = let print_file fname =
......
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