From 8ad653ae2dc73cd16a0567cf3a6abf3697c877ca Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 20 Jun 2019 09:55:55 -0700 Subject: [PATCH] chore(stage0): update --- src/stage0/init/lean/parser/parser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stage0/init/lean/parser/parser.cpp b/src/stage0/init/lean/parser/parser.cpp index febf98154f..a45deb4b31 100644 --- a/src/stage0/init/lean/parser/parser.cpp +++ b/src/stage0/init/lean/parser/parser.cpp @@ -21541,7 +21541,7 @@ lean::closure_set(x_6, 0, x_1); x_7 = l_Lean_Parser_registerBuiltinParserAttribute___closed__1; x_8 = l_Lean_registerTagAttribute___closed__5; x_9 = l_Lean_registerTagAttribute___closed__6; -x_10 = 0; +x_10 = 1; x_11 = lean::alloc_cnstr(0, 8, 1); lean::cnstr_set(x_11, 0, x_1); lean::cnstr_set(x_11, 1, x_7);