diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/subtac/subtac_utils.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/subtac/subtac_utils.ml b/contrib/subtac/subtac_utils.ml index 5a32d2e423..3e8a3f597a 100644 --- a/contrib/subtac/subtac_utils.ml +++ b/contrib/subtac/subtac_utils.ml @@ -173,6 +173,7 @@ let string_of_hole_kind = function | CasesType -> "CasesType" | InternalHole -> "InternalHole" | TomatchTypeParameter _ -> "TomatchTypeParameter" + | GoalEvar -> "GoalEvar" let evars_of_term evc init c = let rec evrec acc c = |