fix for Coq 8.7

45797729 · Ralf Jung · 65e38263 · 45797729
Commit 45797729 authored Jul 13, 2018 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

theories/logatom_stack/stack.v theories/logatom_stack/stack.v +1 -1

No files found.
--- a/theories/logatom_stack/stack.v
+++ b/theories/logatom_stack/stack.v
@@ -377,4 +377,4 @@ Definition elimination_stack `{!heapG Σ, stackG Σ} {aheap: atomic_heap Σ} :
     spec.pop_spec := pop_spec;
     spec.stack_content_exclusive := stack_content_exclusive |}.

-Global Typeclasses Opaque stack_content is_stack.
+Typeclasses Opaque stack_content is_stack.