Commit a4355c78 authored by Ryan Wisnesky's avatar Ryan Wisnesky
Browse files

tiny fix

parent 84563db6
......@@ -175,6 +175,6 @@ public class DistinctInstance<Ty, En, Sym, Fk, Att, Gen, Sk, X, Y> extends Insta
public boolean allowUnsafeJava() {
return I.requireConsistency();
return I.allowUnsafeJava();
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment