diff options
Diffstat (limited to 'checklink/Frameworks.ml')
-rw-r--r-- | checklink/Frameworks.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/checklink/Frameworks.ml b/checklink/Frameworks.ml index 074a4329..35144dc1 100644 --- a/checklink/Frameworks.ml +++ b/checklink/Frameworks.ml @@ -1,6 +1,6 @@ +open Camlcoq open Asm open AST -open BinPos open ELF_types open Lens open Library @@ -62,7 +62,7 @@ type e_framework = { } module PosOT = struct - type t = positive + type t = P.t let compare = Pervasives.compare end |