diff options
Diffstat (limited to 'contrib/subtac/subtac_obligations.ml')
| -rw-r--r-- | contrib/subtac/subtac_obligations.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/subtac/subtac_obligations.ml b/contrib/subtac/subtac_obligations.ml index 42de8cb89a..d6c1772f20 100644 --- a/contrib/subtac/subtac_obligations.ml +++ b/contrib/subtac/subtac_obligations.ml @@ -343,7 +343,7 @@ let add_mutual_definitions l nvrec = !from_prg l in from_prg := upd; - solve_obligations (Some (List.hd deps)) !default_tactic + List.iter (fun x -> solve_obligations (Some x) !default_tactic) deps let admit_obligations n = let prg = get_prog n in |