Skip to content

Commit 6cabd54

Browse files
Enable debug as well
1 parent cf8c7e0 commit 6cabd54

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,5 +31,5 @@ egglog = { git = "https://github.com/egraphs-good//egglog.git", rev = "6f4942824
3131
# 'https://github.com/egraphs-good/egglog.git#[email protected]' = { git = "https://github.com/egraphs-good/egglog.git", rev = "215714e1cbb13ae9e21bed2f2e1bf95804571512" }
3232

3333
# enable debug symbols for easier profiling
34-
# [profile.release]
35-
# debug = 1
34+
[profile.release]
35+
debug = true

0 commit comments

Comments
 (0)