diff options
Diffstat (limited to 'interp/topconstr.ml')
| -rw-r--r-- | interp/topconstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/interp/topconstr.ml b/interp/topconstr.ml index 17b3249373..7f53f7eb21 100644 --- a/interp/topconstr.ml +++ b/interp/topconstr.ml @@ -128,7 +128,7 @@ let rec subst_aconstr subst raw = let ref' = subst_global subst ref in if ref' == ref then raw else AHole (ImplicitArg (ref',i)) - | AHole ( (AbstractionType _ | QuestionMark | CasesType | + | AHole ( (BinderType _ | QuestionMark | CasesType | InternalHole | TomatchTypeParameter _)) -> raw | ACast (r1,r2) -> |