This commit is contained in:
Vitor Santos Costa 2018-08-09 02:10:30 +01:00
parent 4a28e5861a
commit af7584e1f3

View File

@ -1349,6 +1349,8 @@ account the following observations:
( Reexport == false -> true ;
( '$lf_opt'('$parent_topts', TOpts, OldTOpts),
'$lf_opt'('$context_module', OldTOpts, OldContextModule)
->
true
;
OldContextModule = user
),