From 7c7e76defb895de33adcb2441577191d049892cb Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 8 Jan 2020 08:32:14 -0800 Subject: [PATCH] fix: missing `repr` --- src/Init/Lean/Syntax.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Init/Lean/Syntax.lean b/src/Init/Lean/Syntax.lean index 8e81a87af0..6e10466dbb 100644 --- a/src/Init/Lean/Syntax.lean +++ b/src/Init/Lean/Syntax.lean @@ -370,7 +370,7 @@ let atom : Syntax := Syntax.atom info val; Syntax.node kind #[atom] def mkStxStrLit (val : String) (info : Option SourceInfo := none) : Syntax := -mkStxLit strLitKind val info +mkStxLit strLitKind (repr val) info def mkStxNumLit (val : String) (info : Option SourceInfo := none) : Syntax := mkStxLit numLitKind val info