diff options
| -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 |