diff options
Diffstat (limited to 'plugins/cc')
| -rw-r--r-- | plugins/cc/cctac.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/cc/cctac.ml b/plugins/cc/cctac.ml index 1383d86033..e828345fa2 100644 --- a/plugins/cc/cctac.ml +++ b/plugins/cc/cctac.ml @@ -45,7 +45,8 @@ let whd_delta env= (* decompose member of equality in an applicative format *) -let sf_of env sigma c = family_of_sort (sort_of env sigma c) +(** FIXME: evar leak *) +let sf_of env sigma c = family_of_sort (sort_of env (ref sigma) c) let rec decompose_term env sigma t= match kind_of_term (whd env t) with |