
diff -r c81b232747b7 -r 1c089105f581 doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex
--- a/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Thu Jan 26 19:02:41 2023 +0100
+++ b/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Sat Jan 28 13:21:39 2023 +0100
@@ -1427,7 +1427,7 @@
 {\footnotesize
 \begin{verbatim}
 01   ML {*
-02     val SOME t = parseNEW ctxt "argument_in (X (z::real))";
+02     val t = parse ctxt "argument_in (X (z::real))";
 03     val SOME (str, t') = eval_argument_in "" 
 04       "Build_Inverse_Z_Transform.argument'_in" t 0;
 05     term2str t';




