diff options
Diffstat (limited to 'checker/environ.ml')
| -rw-r--r-- | checker/environ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/environ.ml b/checker/environ.ml index 1485d6bf0..be6bdec11 100644 --- a/checker/environ.ml +++ b/checker/environ.ml @@ -22,7 +22,7 @@ type env = { env_globals : globals; env_rel_context : rel_context; env_stratification : stratification; - env_imports : Digest.t MPmap.t } + env_imports : Cic.vodigest MPmap.t } let empty_env = { env_globals = |