diff options
| author | Hugo Herbelin | 2019-11-11 12:02:40 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-13 08:30:24 +0100 |
| commit | 51e582c8e476fcd28a794f0a21f6c611061f5a40 (patch) | |
| tree | e138d1ac1a448ca4e060a9b0d61cd5acfa4d9899 /interp | |
| parent | e9692a8ee7e9e71f64b93879bad6fc18c40d063f (diff) | |
Implicit arguments: Fixing count of the position in compute_implicit_statuses.
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/impargs.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/impargs.ml b/interp/impargs.ml index 9b50d9ca71..a4a8fe55a1 100644 --- a/interp/impargs.ml +++ b/interp/impargs.ml @@ -682,7 +682,7 @@ let compute_implicit_statuses autoimps l = (strbrk ("Argument number " ^ string_of_int i ^ " (anonymous in original definition) cannot be declared implicit.")) | autoimps, [] -> List.map (fun _ -> None) autoimps | [], _::_ -> assert false - in aux 0 (autoimps, l) + in aux 1 (autoimps, l) let set_implicits local ref l = let flags = !implicit_args in |