diff options
Diffstat (limited to 'library/impargs.ml')
| -rw-r--r-- | library/impargs.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/library/impargs.ml b/library/impargs.ml index 4cf8e98228..badb69cb1e 100644 --- a/library/impargs.ml +++ b/library/impargs.ml @@ -466,7 +466,8 @@ let implicits_of_global ref = | _ -> imp in List.map2 (fun (t, il) rl -> t, List.map2 rename il rl) l rename_l with Not_found -> l - | Invalid_argument _ -> anomaly "renaming implicits" + | Invalid_argument _ -> + anomaly "renamings list and implicits list have different lenghts" with Not_found -> [DefaultImpArgs,[]] let cache_implicits_decl (ref,imps) = |