diff options
Diffstat (limited to 'checker/environ.mli')
-rw-r--r-- | checker/environ.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/checker/environ.mli b/checker/environ.mli index 36b76960f..0ec14cc92 100644 --- a/checker/environ.mli +++ b/checker/environ.mli @@ -27,8 +27,8 @@ val engagement : env -> Declarations.engagement option val set_engagement : Declarations.engagement -> env -> env (* Digests *) -val add_digest : env -> dir_path -> Digest.t -> env -val lookup_digest : env -> dir_path -> Digest.t +val add_digest : env -> Dir_path.t -> Digest.t -> env +val lookup_digest : env -> Dir_path.t -> Digest.t (* de Bruijn variables *) val rel_context : env -> rel_context |