Update lakefile.lean

lean-dojo · Sep 9, 2023 · 337e30d · 337e30d
1 parent ab17107
commit 337e30d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -3,7 +3,7 @@ open Lake DSL System
 
 package LeanInfer {
   precompileModules := true
-  buildType := BuildType.debug  -- TODO: Change to release.
+  buildType := BuildType.release
   moreLinkArgs := #["-lonnxruntime", "-lstdc++"]
 }