tree c818b9f89b28cb0c0960a0c0ccdec04d76b58043
parent 4a0ed12f4037b9f899efe06b0d6599a41123a095
author Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1622052524 +0100
committer Dimitris Kolovos <dkolovos@cs.york.ac.uk> 1622052524 +0100

Added null check in EolType's equals()