diff options
Diffstat (limited to 'toplevel/obligations.ml')
| -rw-r--r-- | toplevel/obligations.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/obligations.ml b/toplevel/obligations.ml index 6b8780cda..092c329f3 100644 --- a/toplevel/obligations.ml +++ b/toplevel/obligations.ml @@ -31,7 +31,7 @@ let trace s = let succfix (depth, fixrels) = (succ depth, List.map succ fixrels) -let mkMetas n = List.tabulate (fun _ -> Evarutil.mk_new_meta ()) n +let mkMetas n = List.init n (fun _ -> Evarutil.mk_new_meta ()) let check_evars env evm = List.iter |