diff --git a/src/library/process.h b/src/library/process.h index 212e11a036..772f81fd1a 100644 --- a/src/library/process.h +++ b/src/library/process.h @@ -16,8 +16,8 @@ Author: Jared Roesch namespace lean { enum stdio { - INHERIT, PIPED, + INHERIT, NUL, };