diff --git a/examples/lean/set.lean b/examples/lean/set.lean
index 7f995c21e..45e9d7259 100644
--- a/examples/lean/set.lean
+++ b/examples/lean/set.lean
@@ -1,7 +1,4 @@
-(**
--- import macros for, assume, mp, ...
-import("macros.lua")
-**)
+Import macros
 
 Definition Set (A : Type) : Type := A → Bool