From: Mark <markjordanthom@gmail.com>
Date: Wed, 27 Sep 2023 19:53:33 +0000 (-0600)
Subject: remove debug symbols from release builds (#2054)
X-Git-Tag: remove~75
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0bfb08e464a16407ac899935961d84a9f3c925e2;p=scryer-prolog.git

remove debug symbols from release builds (#2054)
---

diff --git a/Cargo.toml b/Cargo.toml
index dbf7cfc0..5fb0db69 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -110,7 +110,4 @@ predicates-core = "1.0.2"
 serial_test = "2.0.0"
 
 [patch.crates-io]
-modular-bitfield = { git = "https://github.com/mthom/modular-bitfield" }
-
-[profile.release]
-debug = true
+modular-bitfield = { git = "https://github.com/mthom/modular-bitfield" }
\ No newline at end of file