From 9d27e2e27db06eaad7565b55366ca8734b364fca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 11:03:59 +0200
Subject: Make progress proapagating the changes

---
 compiler/InterpreterPaths.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/InterpreterPaths.mli')

diff --git a/compiler/InterpreterPaths.mli b/compiler/InterpreterPaths.mli
index 6e9286cd..4a9f3b41 100644
--- a/compiler/InterpreterPaths.mli
+++ b/compiler/InterpreterPaths.mli
@@ -61,6 +61,7 @@ val compute_expanded_bottom_adt_value :
   T.VariantId.id option ->
   T.erased_region list ->
   T.ety list ->
+  T.const_generic list ->
   V.typed_value
 
 (** Compute an expanded [Option] ⊥ value *)
-- 
cgit v1.2.3