Updating: very very minorly

githwxi · Oct 20, 2024 · 234a9ed · 234a9ed
1 parent 301b536
commit 234a9ed
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats b/srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats
@@ -1525,6 +1525,15 @@ i1valjs1(filr, i1v0);strnfpr(filr, ")\n"))
 //
 (* ****** ****** *)
 //
+|I1INSraise
+(tknd, i1v0) =>
+(
+nindstrnfpr
+(filr, nind, "XATS000_raise(");
+i1valjs1(filr, i1v0);strnfpr(filr, ")\n"))
+//
+(* ****** ****** *)
+//
 |I1INSassgn
 (i1vl, i1vr) =>
 (