From 337e30de2cb4f9808afb1681abccfb5ced3bc367 Mon Sep 17 00:00:00 2001
From: Kaiyu Yang <kaiyuy@caltech.edu>
Date: Sat, 9 Sep 2023 10:28:32 -0700
Subject: [PATCH] Update lakefile.lean

---
 lakefile.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lakefile.lean b/lakefile.lean
index 40c5a25..095cfe7 100644
--- 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++"]
 }