From 2b4ec96473d701867714a3df96a135c9449f4ec8 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 17 Apr 2015 17:40:56 +0200
Subject: [PATCH] Remove redundant modifiers

---
 src/main/java/leon/codegen/runtime/CaseClass.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/java/leon/codegen/runtime/CaseClass.java b/src/main/java/leon/codegen/runtime/CaseClass.java
index 0982f67be..9f159b7e2 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();
 }
-- 
GitLab