Commit ca56ccaa authored by Amin Timany's avatar Amin Timany
Browse files

remove extraneous heapG instance requirement

parent 74af4a36
......@@ -134,7 +134,7 @@ Section unsafe.
(() A, (() A) * (A ())).
Section sem_typed_symbol_adt.
Context `{heapG Σ, symbolG Σ}.
Context `{symbolG Σ}.
Definition symbol_adtN := nroot .@ "symbol_adt".
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment