From c2f77e471a715b8086345d82d078e504007f5c83 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ramon=20Fern=C3=A1ndez=20Mir?= <rfernandezmir@gmail.com>
Date: Thu, 11 Apr 2024 11:22:20 -0400
Subject: [PATCH] fix: term type `Symbol` for stop-on-success (#30)

---
 egg-pre-dcp/src/optimization.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/egg-pre-dcp/src/optimization.rs b/egg-pre-dcp/src/optimization.rs
index 325fa11d..9f5f4f38 100644
--- a/egg-pre-dcp/src/optimization.rs
+++ b/egg-pre-dcp/src/optimization.rs
@@ -736,6 +736,7 @@ impl Analysis<Optimization> for Meta {
                 term_size = 1;
             }
             Optimization::Symbol(s) => {
+                term_type = TermType::Symbol;
                 best = format!("{}", s).parse().unwrap();
                 num_vars = 0;
                 term_size = 0;