diff --git a/src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java b/src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java index 55da2325..aa401b8a 100644 --- a/src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java +++ b/src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java @@ -11,6 +11,7 @@ public final class PlaceholderType extends UnifyType{ protected static final HashSet EXISTING_PLACEHOLDERS = new HashSet(); protected static String nextName = "gen_"; + protected static Random rnd = new Random(43558747548978L); public PlaceholderType(String name) { super(name); @@ -30,7 +31,7 @@ public final class PlaceholderType extends UnifyType{ * Returns random char between 'a' and 'z' */ private static char randomChar() { - return (char) (new Random().nextInt(22) + 97); + return (char) (rnd.nextInt(22) + 97); } @Override