Commit 68dca709 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Prevent finding explanation label when stop_split is encountered.

parent 2aeb63da
......@@ -676,7 +676,9 @@ let check_expl lab acc =
then Some (Str.matched_group 1 lab)
else acc
let check_expl lab = Ident.Slab.fold check_expl lab None
let check_expl lab =
if Ident.Slab.mem Split_goal.stop_split lab then None
else Ident.Slab.fold check_expl lab None
let rec get_expl_fmla acc f =
if f.t_ty <> None then acc else
Supports Markdown
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