From ea6a4be1245d944893d542e019a5796a2e568b69 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 22 Feb 2018 10:03:51 +0000
Subject: [PATCH] chore(library): match stdio enum with Lean values

---
 src/library/process.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
 };