[Bug] typo in OCP printing

[jbcaillau]

@ocots "Abstract defintion:" -> "definition

[ocots]

Ok, it will be corrected by the new version of CTModels: see this commit.