Update PrintUtils.java

txiang61 · Nov 20, 2019 · cd33d90 · cd33d90
1 parent e1a1850
commit cd33d90
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/src/checkers/inference/solver/util/PrintUtils.java b/src/checkers/inference/solver/util/PrintUtils.java
@@ -289,12 +289,6 @@ public Void serialize(ConstantSlot slot) {
             return null;
         }
 
-        @Override
-        public Void serialize(Slot slot) {
-            addSlotIfNotAdded(slot);
-            return null;
-        }
-
         @Override
         public Void serialize(VariableSlot slot) {
             addSlotIfNotAdded(slot);