From 6170126a1e80544921f87f80a22538ce96cd9f54 Mon Sep 17 00:00:00 2001
From: Hongwei Xi <gmhwxi@gmail.com>
Date: Fri, 27 Oct 2023 17:55:47 -0400
Subject: [PATCH] Updating: very very minorly

---
 srcgen2/DATS/dynexp3_print0.dats |  6 ++++--
 srcgen2/SATS/dynexp3.sats        | 10 +++++++++-
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/srcgen2/DATS/dynexp3_print0.dats b/srcgen2/DATS/dynexp3_print0.dats
index beb909e60..19650da42 100644
--- a/srcgen2/DATS/dynexp3_print0.dats
+++ b/srcgen2/DATS/dynexp3_print0.dats
@@ -654,9 +654,11 @@ in//let
 case+
 timp.node() of
 //
+(*
 |TIMPLone1
-(dcl1, svts) =>
-print("TIMPLone1(",dcl1,";",svts,")")
+(  dcl1  ) =>
+print("TIMPLone1(", dcl1 ,")")
+*)
 //
 |TIMPLall1
 (d2c1, dcls) =>
diff --git a/srcgen2/SATS/dynexp3.sats b/srcgen2/SATS/dynexp3.sats
index 9f9e0122e..8731210c9 100644
--- a/srcgen2/SATS/dynexp3.sats
+++ b/srcgen2/SATS/dynexp3.sats
@@ -755,11 +755,19 @@ D3Cerrck of (sint(*lvl*), d3ecl)//tread23-error
 //
 (* ****** ****** *)
 //
+(*
+HX-2023-10-27:
+[TIMPLone1]
+is planned for
+recursive impltmp!
+*)
 and
 timpl_node =
 //
+(*
 |TIMPLone1 of
-(d3ecl(*impl*), s2vts)
+(d3ecl(*tmpsub*))
+*)
 //
 |TIMPLall1 of
 (d2cst(*dcst*), d3eclist)