fix JavaDoc and simplify it.
@@ -344,7 +344,7 @@ public class SmtInterpolEnvironment {
return script.checkAllsat(importantPredicates);
}
- /** This function returns a map, that contains assignments term->term for all terms in terms. */
+ /** This function returns a map, that contains assignments for all terms. */
public Model getModel() {
try {
return script.getModel();
