mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-06-11 06:20:23 +02:00
* * read.c: Recording of positions disabled by default.
This commit is contained in:
parent
ecdb5eb2f1
commit
ac74fc22fb
1 changed files with 1 additions and 1 deletions
|
@ -65,7 +65,7 @@
|
||||||
scm_option scm_read_opts[] = {
|
scm_option scm_read_opts[] = {
|
||||||
{ SCM_OPTION_BOOLEAN, "copy", 0,
|
{ SCM_OPTION_BOOLEAN, "copy", 0,
|
||||||
"Copy source code expressions." },
|
"Copy source code expressions." },
|
||||||
{ SCM_OPTION_BOOLEAN, "positions", 1,
|
{ SCM_OPTION_BOOLEAN, "positions", 0,
|
||||||
"Record positions of source code expressions." }
|
"Record positions of source code expressions." }
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue