From 4a0fbe2a1c7e535aacbf53e56a2322b1a97ac2ef Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 29 Jun 2018 22:04:55 +0100
Subject: Try to fix some tricky C compilation bugs, break everything instead

---
 src/pattern_completeness.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/pattern_completeness.mli')

diff --git a/src/pattern_completeness.mli b/src/pattern_completeness.mli
index c26a63a8..83d6d54c 100644
--- a/src/pattern_completeness.mli
+++ b/src/pattern_completeness.mli
@@ -52,7 +52,7 @@ open Ast
 open Ast_util
 
 type ctx =
-  { lookup_id : id -> lvar;
+  { lookup_id : id -> typ lvar;
     enums : IdSet.t Bindings.t;
     variants : IdSet.t Bindings.t
   }
-- 
cgit v1.2.3