Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check desc strings only if the descs differ.
If the descs are the same, then we know the strings cannot differ. Ths resolves opencog#1396 (comment)
- Loading branch information