From 7c976ede65fbd5c6144e4cd58572c7c5a1229f73 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 20 Feb 2019 03:01:23 +0100
Subject: [coq] Fix OCaml warnings.

In anticipation to https://github.com/coq/coq/pull/9605 , we fix all
OCaml warnings.

Fixes coq/ltac2#107
---
 src/tac2interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2interp.ml')

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
-- 
cgit v1.2.3