diff options
Diffstat (limited to 'contrib/correctness')
| -rw-r--r-- | contrib/correctness/pcicenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/correctness/pcicenv.ml b/contrib/correctness/pcicenv.ml index c9c0ed4b21..4ac4e9704e 100644 --- a/contrib/correctness/pcicenv.ml +++ b/contrib/correctness/pcicenv.ml @@ -38,7 +38,7 @@ let add_sign (id,t) s = let cast_set c = mkCast (c, mkSet) -let set = mkCast (mkSet, mkType Univ.prop_univ) +let set = mkCast (mkSet, mkType Univ.type1_univ) (* [cci_sign_of env] construit un environnement pour CIC ne comprenant que * les objets fonctionnels de l'environnement de programes [env] |