From 245b99dd423e5938d03290eb3ff09d93a4e11273 Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Thu, 16 Apr 2020 08:43:33 +0100
Subject: [PATCH] Fix misformatted header comment for
 `DisabledCertificateCheck`.

---
 ql/src/Security/CWE-295/DisabledCertificateCheck.ql | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ql/src/Security/CWE-295/DisabledCertificateCheck.ql b/ql/src/Security/CWE-295/DisabledCertificateCheck.ql
index 268a9a5bf09..7b4340818b1 100644
--- a/ql/src/Security/CWE-295/DisabledCertificateCheck.ql
+++ b/ql/src/Security/CWE-295/DisabledCertificateCheck.ql
@@ -8,7 +8,9 @@
  * @id go/disabled-certificate-check
  * @tags security
  *       external/cwe/cwe-295
- *
+ */
+
+/*
  * The approach taken by this query is to look for assignments that set `InsecureSkipVerify`
  * (from struct `Config` of package `crypto/tls`) to `true`. We exclude assignments that are
  * guarded by a feature-flag selecting whether verification should be skipped or not, since