diff --git a/docs/manual/OptionalTasks/icontract.html b/docs/manual/OptionalTasks/icontract.html index 818fb8c63..13a822e63 100644 --- a/docs/manual/OptionalTasks/icontract.html +++ b/docs/manual/OptionalTasks/icontract.html @@ -9,7 +9,7 @@

icontract

Description

-

Instruments Java classes with iContract +

Instruments Java classes with iContract DBC preprocessor.

Parameters