diff options
Diffstat (limited to 'checklink/Frameworks.ml')
-rw-r--r-- | checklink/Frameworks.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml index 92f110c4..074a4329 100644 --- a/checklink/Frameworks.ml +++ b/checklink/Frameworks.ml @@ -28,8 +28,6 @@ type byte_chunk_desc = | Padding | Unknown of string -let add_uniq x l = if List.mem x l then l else x :: l - (* This type specifies whether its argument was inferred by the tool or provided via a config file. *) type 'a inferrable = |