Remove unused predicate

This commit is contained in:
Nick Rolfe
2021-10-11 18:13:48 +01:00
parent f500e5b2d7
commit 8e14b6582d

View File

@@ -106,12 +106,6 @@ module UnsafeDeserialization {
* `Oj` modes known to be safe to use with untrusted data.
*/
predicate hasSafeMode() { this.hasKnownMode(true) }
/**
* Holds if this hash node contains a `:mode` key whose value is one of the
* `Oj` modes known to be unsafe to use with untrusted data.
*/
predicate hasUnsafeMode() { this.hasKnownMode(false) }
}
/**