From a7b074875f241d98877de51a93717d56cf2d19e4 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@zancanaro.id.au>
Date: Mon, 6 Jul 2015 22:46:02 +1000
Subject: Fix the warnings from the previous commit
---
src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java | 2 ++
1 file changed, 2 insertions(+)
(limited to 'src/main/java/au/id/zancanaro/javacheck/junit')
diff --git a/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java b/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java
index 4f02a56..620b3d1 100644
--- a/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java
+++ b/src/main/java/au/id/zancanaro/javacheck/junit/PropertyError.java
@@ -7,6 +7,8 @@ import java.util.List;
@SuppressWarnings("WeakerAccess")
public class PropertyError extends AssertionError {
+ private static final long serialVersionUID = 1L;
+
public PropertyError(String methodName, long seed, ShrinkResult shrunk) {
super(shrunk.thrown.getMessage() == null ?
String.format("%s(%s)%n\tSeed: %s%n\tVisited: %s; Depth: %s",
--
cgit v1.2.3