Add another internal let for Christopher

1 files changed, 1 insertions, 0 deletions

diff --git a/language/l2.lem b/language/l2.lem
index 4d26f9b7..9fc9db25 100644
--- a/language/l2.lem
+++ b/language/l2.lem
@@ -283,6 +283,7 @@ and exp_aux 'a =  (* Expression *)
  | E_internal_exp of annot 'a (* This is an internal use for passing nexp information  to library functions, postponed for constraint solving *)
  | E_internal_exp_user of annot 'a * annot 'a (* This is like the above but the user has specified an implicit parameter for the current function *)
  | E_internal_let of (lexp 'a) * (exp 'a) * (exp 'a) (* This is an internal node for compilation that demonstrates the scope of a local mutable variable *)
+ | E_internal_plet of (pat 'a) * (exp 'a) * (exp 'a) (* This is an internal node, used to distinguised some introduced lets during processing from original ones *)
 
 and exp 'a = 
  | E_aux of (exp_aux 'a) * annot 'a