| 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 53c6a8960a350254c47fd1a3c2d1af6c4989a4be..e7ab1f99d92606b5932e28a6d1a158fc441f895c 100644
|
| --- a/src/trusted/service_runtime/sel_main.c
|
| +++ b/src/trusted/service_runtime/sel_main.c
|
| @@ -519,12 +519,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();
|
|
|
|
|