Remove commented out code

stanford-centaur · Jun 13, 2024 · 45c8f72 · 45c8f72
1 parent 82432df
commit 45c8f72
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/bitwuzla/src/bitwuzla_term.cpp b/bitwuzla/src/bitwuzla_term.cpp
@@ -217,7 +217,6 @@ bool BzlaTerm::is_symbolic_const() const
 {
   // in Bitwuzla arrays are functions
   // for smt-switch we consider arrays symbolic constants but not functions
-  // return (bitwuzla_term_is_const(term) && !bitwuzla_term_is_fun(term));
   return (term.is_const() && !(term.sort().is_fun()));
 }