diff options
Diffstat (limited to 'contrib/subtac/subtac_obligations.ml')
| -rw-r--r-- | contrib/subtac/subtac_obligations.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/subtac/subtac_obligations.ml b/contrib/subtac/subtac_obligations.ml index 9e41759504..1bd85b92bd 100644 --- a/contrib/subtac/subtac_obligations.ml +++ b/contrib/subtac/subtac_obligations.ml @@ -109,13 +109,13 @@ let _ = let progmap_union = ProgMap.fold ProgMap.add let cache (_, (infos, tac)) = - from_prg := progmap_union infos !from_prg; + from_prg := infos; default_tactic_expr := tac let (input,output) = declare_object { (default_object "Program state") with - cache_function = cache ; + cache_function = cache; load_function = (fun _ -> cache); open_function = (fun _ -> cache); classify_function = (fun _ -> Dispose); |