From e6eef565639fb3840dd235eb675ece6e4dbeb082 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 16 Sep 2016 15:46:31 +0200
Subject: Addressing OCaml compilation warnings.

One of them revealed a true bug.
---
 interp/notation_ops.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/notation_ops.ml')

diff --git a/interp/notation_ops.ml b/interp/notation_ops.ml
index 1262864c76..1f29a2948f 100644
--- a/interp/notation_ops.ml
+++ b/interp/notation_ops.ml
@@ -125,7 +125,7 @@ let rec cases_pattern_fold_map loc g e = function
       e', PatCstr (loc,cstr,patl',na')
 
 let subst_binder_type_vars l = function
-  | Evar_kinds.BinderType (Name id) as e ->
+  | Evar_kinds.BinderType (Name id) ->
      let id =
        try match Id.List.assoc id l with GVar(_,id') -> id' | _ -> id
        with Not_found -> id in
-- 
cgit v1.2.3