From e43dcd2eb040bcd3d69bca36edadeedc52c75522 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 22 Aug 2018 16:52:23 +0100
Subject: Revert "rewrite_defs_pat_lits: add an explicit type annotation around
 generated id pattern"

This reverts commit 9fdd1ecbed32ebb408256628b6661ccbf5f16c18.
---
 src/rewrites.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rewrites.ml b/src/rewrites.ml
index 642e88a0..6ae987c0 100644
--- a/src/rewrites.ml
+++ b/src/rewrites.ml
@@ -3405,7 +3405,7 @@ let rewrite_defs_pat_lits rewrite_lit =
          let guard = check_exp (Env.add_local id (Immutable, typ) env) guard bool_typ in
          guards := guard :: !guards;
          incr counter;
-         P_aux (P_typ (typ, (P_aux (P_id id, p_annot))), p_annot)
+         P_aux (P_id id, p_annot)
       | p_aux, p_annot -> P_aux (p_aux, p_annot)
     in
 
-- 
cgit v1.2.3