diff --git a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
index 9df699cc30fd155481883a3360627f2f4f63c6c2..5f612eba9a42727ca755021cabfb7aa255672c42 100644
--- a/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
+++ b/src/main/java/uk/ac/rhul/cs/javatester/CodeTester.java
@@ -978,6 +978,8 @@ public class CodeTester {
                 name = "\"" + p + "\"";
             else if (p instanceof Character)
                 name = "'" + p + "'";
+            else if (p.getClass().isEnum())
+                name = p.getClass().getSimpleName() + "." + p.toString();
             else
                 name = p.toString();
         }