Fix #758 - Invalid char

This commit is contained in:
James Agnew 2017-10-12 21:48:31 -04:00
parent 9d6bfdc25a
commit 4b8a8e8af1
1 changed files with 1 additions and 1 deletions

View File

@ -292,7 +292,7 @@ public class InstanceValidator extends BaseValidator implements IResourceValidat
source = Source.InstanceValidator; source = Source.InstanceValidator;
} }
t
@Override @Override
public boolean isNoInvariantChecks() { public boolean isNoInvariantChecks() {