diff options
Diffstat (limited to 'src/Compilers/Z/Reify.v')
| -rw-r--r-- | src/Compilers/Z/Reify.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Compilers/Z/Reify.v b/src/Compilers/Z/Reify.v index 8fb02536d..7cb978241 100644 --- a/src/Compilers/Z/Reify.v +++ b/src/Compilers/Z/Reify.v @@ -92,7 +92,7 @@ Definition Interp_Reify_evar_package Ltac autosolve else_tac := lazymatch goal with | [ |- @Reify_evar_package _ _ ] - => eexists; cbv beta; Reify_rhs + => eexists; cbv beta; Reify_rhs; reflexivity | _ => Compilers.Reify.autosolve else_tac end. |