Updating: very very minorly

githwxi · Dec 26, 2024 · fa60c0e · fa60c0e
1 parent b4e6d3e
commit fa60c0e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/srcgen1/DATS/trans33_dynexp.dats b/srcgen1/DATS/trans33_dynexp.dats
@@ -3204,11 +3204,11 @@ auxid2c
 : t2ype): impld2cst =
 let
 //
-// (*
+(*
 val () =
 println!
 ("auxid2c: id2c = ", id2c)
-// *)
+*)
 //
 val-
 IMPLD2CST1(dqid, d2cs) = id2c