diff --git a/os/pl-read.c b/os/pl-read.c index 63eae6abf..fa16a776b 100644 --- a/os/pl-read.c +++ b/os/pl-read.c @@ -1245,7 +1245,7 @@ static const opt_spec read_term_options[] = { ATOM_variables, OPT_TERM }, { ATOM_singletons, OPT_TERM }, { ATOM_term_position, OPT_TERM }, - // { ATOM_subterm_positions, OPT_TERM }, + // { ATOM_subterm_positions, OPT_TERM }, { ATOM_character_escapes, OPT_BOOL }, { ATOM_double_quotes, OPT_ATOM }, { ATOM_module, OPT_ATOM }, @@ -1285,7 +1285,7 @@ if ( !scan_options(options, 0, ATOM_read_option, read_term_options, &rd.variables, &rd.singles, &tpos, - &rd.subtpos, + // &rd.subtpos, &charescapes, &dq, &mname,