diff --git a/src/Lean/Elab/Syntax.lean b/src/Lean/Elab/Syntax.lean index cacb920acc..40ad9430b3 100644 --- a/src/Lean/Elab/Syntax.lean +++ b/src/Lean/Elab/Syntax.lean @@ -442,7 +442,4 @@ def strLitToPattern (stx: Syntax) : MacroM Syntax := | some str => return mkAtomFrom stx str | none => Macro.throwUnsupported -builtin_initialize - registerTraceClass `Elab.syntax - end Lean.Elab.Command