Merge pull request #399 from rakshitkr/fix-cryslparser

Added cast to getCons()

Author: kruegers

plugins/de.cognicrypt.crysl.handler/src/main/java/de/cognicrypt/crysl/reader/CrySLParser.java

@@ -340,7 +340,7 @@ private List<CrySLPredicate> retrieveReqPredFromAltPreds(ReqPred left) {
 	private CrySLPredicate extractReqPred(final ReqPred pred) {
 		final List<ICrySLPredicateParameter> variables = new ArrayList<>();
 		PredLit innerPred = (PredLit) pred;
-		final Constraint conditional = innerPred.getCons();
+		final Constraint conditional = (Constraint) innerPred.getCons();
 		if (innerPred.getPred().getParList() != null) {
 			for (final SuPar var : innerPred.getPred().getParList().getParameters()) {
 				if (var.getVal() != null) {