diff --git a/srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats b/srcgen2/xats2js/srcgen1/DATS/js1emit_dynexp.dats index 9ae20a53c..7e955a29a 100644 --- 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) => (