diff --git a/src/main/java/leon/codegen/runtime/CaseClass.java b/src/main/java/leon/codegen/runtime/CaseClass.java
index 0982f67beca73353959f2d9bcbde9a238efcd1ce..9f159b7e2fad89cc11ca19575f77372ea0341ec6 100644
--- a/src/main/java/leon/codegen/runtime/CaseClass.java
+++ b/src/main/java/leon/codegen/runtime/CaseClass.java
@@ -3,9 +3,9 @@
 package leon.codegen.runtime;
 
 public interface CaseClass { 
-  public abstract int __getRead();
+  int __getRead();
 
-  public abstract Object[] productElements();
+  Object[] productElements();
 
-  public abstract String productName();
+  String productName();
 }