| 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 d4bf75e37d36e5c7aafca4d8a3f464aaa41cfb24..5ded766010d774f957ca36562870ef5365604369 100644
|
| --- a/src/trusted/service_runtime/sel_main.c
|
| +++ b/src/trusted/service_runtime/sel_main.c
|
| @@ -505,12 +505,6 @@ 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;
|
| - }
|
| -
|
| /* Sanity check. */
|
| NaClSignalAssertNoHandlers();
|
|
|
|
|