Warning

cvc5 · Mar 30, 2024 · 500c8c2 · 500c8c2
1 parent fc5d765
commit 500c8c2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/state.cpp b/src/state.cpp
@@ -727,6 +727,10 @@ Expr State::mkExpr(Kind k, const std::vector<Expr>& children)
         Trace("state") << "BETA_REDUCE " << Expr((*hd)[1]) << " " << ctx << " = " << ret << std::endl;
         return ret;
       }
+      else
+      {
+        Warning() << "Wrong number of arguments when applying " << Expr(hd) << std::endl;
+      }
     }
     else if (hk==Kind::PROGRAM_CONST || hk==Kind::ORACLE)
     {