From d4ae9e73b143595eeb6a3d61fc2f7fe345fb1247 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 15 Dec 2020 20:29:28 -0800
Subject: [PATCH] fix: missing comma

---
 src/Init/System/ST.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Init/System/ST.lean b/src/Init/System/ST.lean
index a5596bb5a9..2e57269872 100644
--- a/src/Init/System/ST.lean
+++ b/src/Init/System/ST.lean
@@ -22,13 +22,13 @@ class STWorld (σ : outParam Type) (m : Type → Type)
 instance {σ m n} [STWorld σ m] [MonadLift m n] : STWorld σ n := ⟨⟩
 instance {ε σ} : STWorld σ (EST ε σ) := ⟨⟩
 
-@[noinline nospecialize]
+@[noinline, nospecialize]
 def runEST {ε α : Type} (x : forall (σ : Type), EST ε σ α) : Except ε α :=
   match x Unit () with
   | EStateM.Result.ok a _     => Except.ok a
   | EStateM.Result.error ex _ => Except.error ex
 
-@[noinline nospecialize]
+@[noinline, nospecialize]
 def runST {α : Type} (x : forall (σ : Type), ST σ α) : α :=
   match x Unit () with
   | EStateM.Result.ok a _     => a