Updating: very very minorly

githwxi · Sep 13, 2024 · c0aa12c · c0aa12c
1 parent 9208591
commit c0aa12c
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/prelude/HATS/prelude_JS_dats.hats b/prelude/HATS/prelude_JS_dats.hats
@@ -0,0 +1,14 @@
+(* ****** ****** *)
+(* ****** ****** *)
+(*
+HX-2024-09-12:
+This is for loading
+ATS3-XANADU/prelude/DATS/CATS/JS
+*)
+(* ****** ****** *)
+(* ****** ****** *)
+//
+(* ****** ****** *)(* ****** ****** *)
+(* ****** ****** *)(* ****** ****** *)
+
+(* end of [ATS3_XANADU_prelude_HATS_prelude_JS_dats.hats] *)
diff --git a/prelude/HATS/prelude_dats.hats b/prelude/HATS/prelude_dats.hats
@@ -3,7 +3,7 @@
 (*
 HX-2022-06-04:
 This is for loading
-ATS3_XANADU_prelude/DATS
+ATS3-XANADU/prelude/DATS
 *)
 (* ****** ****** *)
 (* ****** ****** *)