diff options
Diffstat (limited to 'theories/Compat')
-rw-r--r-- | theories/Compat/Coq85.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Compat/Coq85.v b/theories/Compat/Coq85.v index 3fc74943e..d6d370cb5 100644 --- a/theories/Compat/Coq85.v +++ b/theories/Compat/Coq85.v @@ -14,3 +14,4 @@ Global Unset Bracketing Last Introduction Pattern. Global Unset Regular Subst Tactic. +Global Unset Structural Injection. |