Small fix

yvizel · yvizel · commit fbb21943a4eb · 2025-02-24T15:24:44.000+02:00
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;
   }

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ class horn_clauset`
`79`	`79`	`{`
`80`	`80`	`if(can_cast_expr<implies_exprt>(m_chc.where()))`
`81`	`81`	`{`
`82`		`- return (can_cast_expr<function_application_exprt>(*head()));`
	`82`	`+ return !(can_cast_expr<function_application_exprt>(*head()));`
`83`	`83`	`}`
`84`	`84`	`return false;`
`85`	`85`	`}`