From 115960297c2f9cf839d51232dd2961e0d4817657 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 22 Nov 2021 19:52:49 +0100
Subject: Make progress on {read,write}_path

---
 src/Expressions.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/Expressions.ml')

diff --git a/src/Expressions.ml b/src/Expressions.ml
index 66cf5197..c0ee90a9 100644
--- a/src/Expressions.ml
+++ b/src/Expressions.ml
@@ -9,7 +9,6 @@ type projection_elem =
   | Deref
   | DerefBox
   | Field of field_proj_kind * FieldId.id
-  | Downcast of VariantId.id
 
 type projection = projection_elem list
 
-- 
cgit v1.2.3