Merge branch 'main' of https://github.com/cvc5/cvc5 into eoNl-0107

ajreynol · Jan 24, 2025 · 076fbba · 076fbba
2 parents b15a0ea + 0272090
commit 076fbba
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/proof/lfsc/lfsc_node_converter.cpp b/src/proof/lfsc/lfsc_node_converter.cpp
@@ -1159,7 +1159,6 @@ Node LfscNodeConverter::getOperatorOfBoundVar(Node cop, Node v)
 
 size_t LfscNodeConverter::getOrAssignIndexForFVar(Node fv)
 {
-  Assert(fv.isVar());
   std::map<Node, size_t>::iterator it = d_fvarIndex.find(fv);
   if (it != d_fvarIndex.end())
   {