FailedChanges

Summary

  1. Added some clones to TypeCompatabilityObligation, see #15 (details)
Commit 759f6ff1573ad706db3832bc298cf77c6a7e92e3 by nick.battle
Added some clones to TypeCompatabilityObligation, see #15
The file was modifiedcore/pog/src/main/java/org/overture/pog/obligation/TypeCompatibilityObligation.java (diff)