From 8e88da289d5c96506a9540890ccbd7c22570049c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 20 Jul 2018 12:03:27 +0200
Subject: Fix #8043: Unsafe assignment in checker.

We use a dedicated mutable constructor to perform a Landin knot.
---
 checker/values.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker/values.mli')

diff --git a/checker/values.mli b/checker/values.mli
index 20b9d54a68..1b1437a469 100644
--- a/checker/values.mli
+++ b/checker/values.mli
@@ -20,6 +20,7 @@ type value =
   | String
   | Annot of string * value
   | Dyn
+  | Proxy of value ref
 
 val v_univopaques : value
 val v_libsum : value
-- 
cgit v1.2.3