diff --git a/pal/src/host/linux-sgx/pal_tcb.h b/pal/src/host/linux-sgx/pal_tcb.h
index fa5225f955..80e797317f 100644
--- a/pal/src/host/linux-sgx/pal_tcb.h
+++ b/pal/src/host/linux-sgx/pal_tcb.h
@@ -49,10 +49,6 @@ struct pal_enclave_tcb {
     struct untrusted_area untrusted_area_cache;
 };
 
-#ifndef DEBUG
-extern uint64_t dummy_debug_variable;
-#endif
-
 #ifdef IN_ENCLAVE
 
 static inline struct pal_enclave_tcb* pal_get_enclave_tcb(void) {