diff options
Diffstat (limited to 'theories/Compat')
-rw-r--r-- | theories/Compat/Coq85.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/theories/Compat/Coq85.v b/theories/Compat/Coq85.v index d6d370cb5..1e30ab919 100644 --- a/theories/Compat/Coq85.v +++ b/theories/Compat/Coq85.v @@ -15,3 +15,5 @@ Global Unset Bracketing Last Introduction Pattern. Global Unset Regular Subst Tactic. Global Unset Structural Injection. +Global Unset Shrink Abstract. +Global Unset Shrink Obligations.
\ No newline at end of file |