max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library): match stdio enum with Lean values

Browse source
This commit is contained in:
Nuno Lopes 2018-02-22 10:03:51 +00:00 • committed by Leonardo de Moura
parent c67062644a
commit ea6a4be124
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/process.h
View file

@ -16,8 +16,8 @@ Author: Jared Roesch
namespace lean {
enum stdio {
INHERIT,
PIPED,
INHERIT,
NUL,
};