fix: term type Symbol for stop-on-success (#30)

verified-optimization · Apr 11, 2024 · c2f77e4 · c2f77e4
1 parent cfd34bb
commit c2f77e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;