diff options
| author | Pierre-Marie Pédrot | 2015-02-27 20:40:58 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-27 20:40:58 +0100 |
| commit | 46969b0ece809598b4dd35c688a8ba5237b01efd (patch) | |
| tree | 9568fdcab17822ac6580080f9c7a04c2b2954066 | |
| parent | d7c8d18cca8a41db7ba12c8f6131e8a42491e962 (diff) | |
Fixing OCaml 3.12 compilation.
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index 15d57d20f1..1b8fdd8aed 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -976,7 +976,7 @@ let register_ltac local isrec tacl = let defs () = (** Register locally the tactic to handle recursivity. This function affects the whole environment, so that we transactify it afterwards. *) - let iter_rec (sp, kn) = Nametab.push_tactic (Until 1) sp kn in + let iter_rec (sp, kn) = Nametab.push_tactic (Nametab.Until 1) sp kn in let () = List.iter iter_rec recvars in List.map map rfun in |