diff --git a/core/reactor_common.c b/core/reactor_common.c
index 731391ab5..a780c0e2f 100644
--- a/core/reactor_common.c
+++ b/core/reactor_common.c
@@ -1104,7 +1104,7 @@ void initialize_global(void) {
   // This is done for all environments/enclaves at the same time.
   _lf_initialize_trigger_objects();
 
-#if !defined(NDBEUG)
+#if defined(LF_SINGLE_THREADED) && !defined(NDBEUG)
   // If we are testing, verify that environment with pointers is correctly set up.
   for (int i = 0; i < num_envs; i++) {
     environment_verify(&envs[i]);