From 13a1c13dc4ab213708b176916cf8ff3742458dfc Mon Sep 17 00:00:00 2001
From: Tim Lander <tim57282@hotmail.com>
Date: Fri, 20 Sep 2019 16:48:16 +0800
Subject: [PATCH] Remove unused 'pthreadIdCounter'

It was always 2. Nothing wrote to or read it.
---
 src/library_pthread.js | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/library_pthread.js b/src/library_pthread.js
index 288fe32e89c36..21e00b5a606f0 100644
--- a/src/library_pthread.js
+++ b/src/library_pthread.js
@@ -55,8 +55,6 @@ var LibraryPThread = {
     },
     // Maps pthread_t to pthread info objects
     pthreads: {},
-    pthreadIdCounter: 2, // 0: invalid thread, 1: main JS UI thread, 2+: IDs for pthreads
-
     exitHandlers: null, // An array of C functions to run when this thread exits.
 
 #if PTHREADS_PROFILING