From 883f6923e265cf310be48a398bbea05f7f8a9845 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 6 May 2018 10:15:17 -0700 Subject: [PATCH] chore(library/init/lean/ir/elim_phi): fix typo --- library/init/lean/ir/elim_phi.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/init/lean/ir/elim_phi.lean b/library/init/lean/ir/elim_phi.lean index c8e822a724..7e4d75ce84 100644 --- a/library/init/lean/ir/elim_phi.lean +++ b/library/init/lean/ir/elim_phi.lean @@ -17,7 +17,7 @@ Then, we select a representative from each equivalence class and replace each variable with its representative. -/ -@[reducible] def elim_phi_m (α : Type) := state_t (disjoint_set name) id α +@[reducible] def elim_phi_m (α : Type) := state_t (disjoint_set var) id α def merge (x y : var) : elim_phi_m unit := modify $ λ s, s.merge x y