fix formatting

Author: GrosQuildu

cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmValueConsumers/PKeyAlgorithmValueConsumer.qll

@@ -63,7 +63,6 @@ class EVPPKeyAlgorithmConsumer extends PKeyValueConsumer {
 }
 
 // TODO: not sure where to put all these predicates below
-
 /**
  * Given context expression (EVP_PKEY_CTX), finds the algorithm.
  */

cpp/ql/lib/experimental/quantum/OpenSSL/Operations/OpenSSLOperationBase.qll

@@ -7,9 +7,10 @@ private import experimental.quantum.OpenSSL.AlgorithmValueConsumers.OpenSSLAlgor
  */
 class OpenSSLCall extends Call { }
 
+/**
  * A class for all OpenSSL operations.
  */
-abstract class OpenSSLOperation extends Crypto::OperationInstance instanceof Call {
+abstract class OpenSSLOperation extends Crypto::OperationInstance instanceof OpenSSLCall {
   /**
    * Expression that specifies the algorithm for the operation.
    * Will be an argument of the operation in the simplest case.
@@ -67,7 +68,6 @@ abstract class EVPInitialize extends OpenSSLCall {
  * These are not operations in the sense of Crypto::OperationInstance,
  * but they are used to update the context for the operation.
  */
-
 abstract class EVPUpdate extends OpenSSLCall {
   /**
    * Gets the context argument that ties together initialization, updates and/or final calls.
@@ -133,7 +133,7 @@ abstract class EVPOperation extends OpenSSLOperation {
   EVPInitialize getInitCall() {
     CTXFlow::ctxArgFlowsToCtxArg(result.getContextArg(), this.getContextArg())
   }
-  
+
   Crypto::ArtifactOutputDataFlowNode getOutputArtifact() {
     result = DataFlow::exprNode(this.getOutputArg())
   }
@@ -173,4 +173,3 @@ abstract class EVPFinal extends EVPOperation {
    */
   override Expr getOutputArg() { result = this.getUpdateCalls().getOutputArg() }
 }
-