From 413263e2dcb50a9b8def42eea9d699ba1e589e01 Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Thu, 14 Nov 2024 01:00:56 +0000
Subject: [PATCH] Update Cli.lean

---
 ImportGraph/Cli.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ImportGraph/Cli.lean b/ImportGraph/Cli.lean
index 61fa44a..eac391c 100644
--- a/ImportGraph/Cli.lean
+++ b/ImportGraph/Cli.lean
@@ -85,7 +85,7 @@ def importGraphCLI (args : Cli.Parsed) : IO UInt32 := do
   | none => none
   initSearchPath (← findSysroot)
 
-  Lean.enableInitializersExecution
+  unsafe Lean.enableInitializersExecution
   let outFiles ← try unsafe withImportModules (to.map ({module := ·})) {} (trustLevel := 1024) fun env => do
     let toModule := ImportGraph.getModule to[0]!
     let mut graph := env.importGraph