up

INRIA · Jul 15, 2019 · a8a5759 · a8a5759
1 parent 9d4a0da
commit a8a5759
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/spoon/ContractVerifier.java b/src/main/java/spoon/ContractVerifier.java
@@ -90,7 +90,7 @@ public void verify() {
 		checkElementIsContainedInAttributeOfItsParent();
 		checkElementToPathToElementEquivalence();
 		checkRoleInParent();
-		();
+		checkJavaIdentifiers();
 	}
 
 	/** verifies that the explicit modifier should be present in the original source code */