Skip to content

Commit

Permalink
Update core/reactor_common.c
Browse files Browse the repository at this point in the history
Co-authored-by: Edward A. Lee <eal@eecs.berkeley.edu>
  • Loading branch information
erlingrj and edwardalee authored Sep 25, 2024
1 parent b17ed4f commit 6650f36
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion core/reactor_common.c
Original file line number Diff line number Diff line change
Expand Up @@ -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(LF_SINGLE_THREADED) && !defined(NDBEUG)
#if !defined(LF_SINGLE_THREADED) && !defined(NDEBUG)
// 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]);
Expand Down

0 comments on commit 6650f36

Please sign in to comment.