diff options
Diffstat (limited to 'contrib/extraction/extract_env.ml')
| -rw-r--r-- | contrib/extraction/extract_env.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/contrib/extraction/extract_env.ml b/contrib/extraction/extract_env.ml index 7e798bef7b..206de8a28a 100644 --- a/contrib/extraction/extract_env.ml +++ b/contrib/extraction/extract_env.ml @@ -139,8 +139,7 @@ let rec visit_reference m eenv r = and visit_type m eenv t = let rec visit = function - | Tglob r -> visit_reference m eenv r - | Tapp l -> List.iter visit l + | Tglob (r,l) -> visit_reference m eenv r; List.iter visit l | Tarr (t1,t2) -> visit t1; visit t2 | Tvar _ | Tdummy | Tunknown -> () in |