Updating: very very minorly

githwxi · Nov 9, 2024 · 19dec2e · 19dec2e
1 parent d4a009c
commit 19dec2e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/prelude/DATS/strn000.dats b/prelude/DATS/strn000.dats
@@ -315,7 +315,8 @@ $UN.strn_fset$at$raw
   (cs, i0, c0) =
 strn_fmake_fwork<>
 (
-lam(work) => iforitm(cs,
+lam(work) =>
+strn_iforitm_f2un(cs,
 lam(i1,c1) =>
 (if (i0 = i1) then work(c0) else work(c1))))
 //