diff options
| author | Pierre-Marie Pédrot | 2019-02-20 12:18:32 +0100 |
|---|---|---|
| committer | GitHub | 2019-02-20 12:18:32 +0100 |
| commit | 8061ffc5f06fe7a2f782a16b45c08436aa298a10 (patch) | |
| tree | 6bc869470f9ba742dba1935fbe87edf9e1c8c1e6 /src/tac2interp.ml | |
| parent | 30eaa6490f1b3d6f66f397e82a8126d0ff197f4f (diff) | |
| parent | 7c976ede65fbd5c6144e4cd58572c7c5a1229f73 (diff) | |
Merge pull request coq/ltac2#108 from ejgallego/fix_warn
[coq] Fix OCaml warnings.
Diffstat (limited to 'src/tac2interp.ml')
| -rw-r--r-- | src/tac2interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2interp.ml b/src/tac2interp.ml index 6f158ac66e..b0f8083aeb 100644 --- a/src/tac2interp.ml +++ b/src/tac2interp.ml @@ -114,7 +114,7 @@ let rec interp (ist : environment) = function | Name id -> { env_ist = Id.Map.add id cls accu.env_ist } in let ist = List.fold_left fold ist fixs in - (** Hack to make a cycle imperatively in the environment *) + (* Hack to make a cycle imperatively in the environment *) let iter (_, e, _) = e.clos_env <- ist.env_ist in let () = List.iter iter fixs in interp ist e |