diff options
| -rw-r--r-- | proofs/clenv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/clenv.ml b/proofs/clenv.ml index 5ef2d60357..726042c356 100644 --- a/proofs/clenv.ml +++ b/proofs/clenv.ml @@ -441,7 +441,7 @@ let clenv_cast_meta clenv = match Intmap.find mv clenv.env with | Cltyp b -> let b' = clenv_instance clenv b in - if occur_meta b' then u else mkCast (u, b') + if occur_meta b' then u else mkCast (mkMeta mv, b') | Clval(_) -> u with Not_found -> u) |