From a130c0f313e2fa3f82fde9448f336d9183703b55 Mon Sep 17 00:00:00 2001
From: Hongwei Xi <gmhwxi@gmail.com>
Date: Wed, 2 Aug 2023 14:05:34 -0400
Subject: [PATCH] Updating: very very minorly

---
 srcgen2/DATS/trans3a_staexp.dats | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/srcgen2/DATS/trans3a_staexp.dats b/srcgen2/DATS/trans3a_staexp.dats
index 21f76cf19..86da79f6b 100644
--- a/srcgen2/DATS/trans3a_staexp.dats
+++ b/srcgen2/DATS/trans3a_staexp.dats
@@ -115,6 +115,12 @@ end where // end-of-let
 (* ****** ****** *)
 //
 (*
+(*
+HX-2023-08-02:
+Not for now!!!
+This is to be done at
+dependent type-checking
+*)
 fun
 f0_var
 ( env0: