Undo main Concepts.qll change

This commit is contained in:
jorgectf
2021-03-24 18:16:36 +01:00
parent 28fdeba4fa
commit a1a3c98d92

View File

@@ -625,5 +625,4 @@ module Cryptography {
final override int minimumSecureKeySize() { result = 224 }
}
}
}
}
}