| Index: tracing/tracing/model/event_set.html
|
| diff --git a/tracing/tracing/model/event_set.html b/tracing/tracing/model/event_set.html
|
| index c428e3e56ac3469dde5f16e3e27e5f84a442ecff..344f524fa02f3dfe1bdffae19f63a3f559d6f656 100644
|
| --- a/tracing/tracing/model/event_set.html
|
| +++ b/tracing/tracing/model/event_set.html
|
| @@ -75,7 +75,7 @@ tr.exportTo('tr.model', function() {
|
| // push pushes only unique events.
|
| // If an event has been already pushed, do nothing.
|
| push: function(event) {
|
| - if (event.guid == undefined)
|
| + if (event.guid === undefined)
|
| throw new Error('Event must have a GUID');
|
|
|
| if (!this.events_.has(event)) {
|
| @@ -139,7 +139,7 @@ tr.exportTo('tr.model', function() {
|
| }
|
| });
|
|
|
| - if (maxEventIndex == -1) {
|
| + if (maxEventIndex === -1) {
|
| console.log(event);
|
| throw new Error('Unrecognized event type');
|
| }
|
|
|