diff options
Diffstat (limited to 'src/Reflection/LinearizeWf.v')
| -rw-r--r-- | src/Reflection/LinearizeWf.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Reflection/LinearizeWf.v b/src/Reflection/LinearizeWf.v index 8a7ebb7af..36c9efecb 100644 --- a/src/Reflection/LinearizeWf.v +++ b/src/Reflection/LinearizeWf.v @@ -161,7 +161,7 @@ Section language. Local Hint Constructors or. Local Hint Extern 1 => progress unfold List.In in *. Local Hint Resolve wff_in_impl_Proper. - Local Hint Resolve wff_SmartVar. + Local Hint Resolve wff_SmartVarf. Lemma wff_linearizef G {t} e1 e2 : @wff var1 var2 G t e1 e2 |