Convert more redef-able constants to runtime options

This commit is contained in:
Daniel Thayer 2018-08-27 19:38:47 -05:00
parent fd1a23ea66
commit 9bfc01b705
11 changed files with 14 additions and 14 deletions

View file

@ -22,7 +22,7 @@ export {
## If this variable is set to ``T``, then all contents of all
## connections will be extracted.
const default_extract = F &redef;
option default_extract = F;
}
redef record connection += {