Small fix

diffblue · Feb 24, 2025 · fbb2194 · fbb2194
1 parent ad717ba
commit fbb2194
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cprover/chc_db.h b/src/cprover/chc_db.h
@@ -79,7 +79,7 @@ class horn_clauset
   {
     if(can_cast_expr<implies_exprt>(m_chc.where()))
     {
-      return (can_cast_expr<function_application_exprt>(*head()));
+      return !(can_cast_expr<function_application_exprt>(*head()));
     }
     return false;
   }