This commit is contained in:
Andreas Rumpf 2018-12-14 20:03:12 +01:00
commit f76bd06643

View file

@ -282,7 +282,7 @@ proc mergeConfigs*(dest, src: ConfigRef) =
m globalOptions m globalOptions
m cmd m cmd
m selectedGC m selectedGC
m verbosity dest.verbosity = src.verbosity
m numberOfProcessors m numberOfProcessors
m evalExpr m evalExpr
m symbolFiles m symbolFiles