| Index: src/trusted/service_runtime/sel_main.c
|
| diff --git a/src/trusted/service_runtime/sel_main.c b/src/trusted/service_runtime/sel_main.c
|
| index 78ed14a120578e37c224154f2e5c2c0eb476781c..0420b0d5d3bcf0e07cd362d69df805f3cfed9174 100644
|
| --- a/src/trusted/service_runtime/sel_main.c
|
| +++ b/src/trusted/service_runtime/sel_main.c
|
| @@ -544,11 +544,7 @@ int main(int argc,
|
| }
|
| }
|
|
|
| - nap->enable_dfa_validator = 0;
|
| - if (getenv("NACL_DANGEROUS_USE_DFA_VALIDATOR") != NULL) {
|
| - fprintf(stderr, "DANGER! USING THE UNSTABLE DFA VALIDATOR!\n");
|
| - nap->enable_dfa_validator = 1;
|
| - }
|
| + NaClSelectValidator(&nap->validator);
|
|
|
| /* Sanity check. */
|
| NaClSignalAssertNoHandlers();
|
|
|