diff options
Diffstat (limited to 'src/interp/trace.boot')
| -rw-r--r-- | src/interp/trace.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/trace.boot b/src/interp/trace.boot index e98991b5..fe279b93 100644 --- a/src/interp/trace.boot +++ b/src/interp/trace.boot @@ -272,7 +272,7 @@ stackTraceOptionError x == nil removeOption(op,options) == - [optEntry for (optEntry:=[opt,:.]) in options | opt ^= op] + [optEntry for (optEntry:=[opt,:.]) in options | opt ~= op] domainToGenvar x == $doNotAddEmptyModeIfTrue: local:= true |