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';