Update lib/PhasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions…

…/OpenSSLEVPKDFCTXDescription.cpp Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
secure-software-engineering · Dec 12, 2023 · 715066e · 715066e
1 parent bf28d4e
commit 715066e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/...hasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.cpp b/...hasarLLVM/DataFlow/IfdsIde/Problems/TypeStateDescriptions/OpenSSLEVPKDFCTXDescription.cpp
@@ -19,7 +19,6 @@
 #include <set>
 #include <string>
 
-
 namespace psr {
 
 // Return value is modeled as -1