Skip to content
Snippets Groups Projects
Commit cd9d4a5b authored by Ralf Jung's avatar Ralf Jung
Browse files

fix build

parent 61840d31
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
theories/heap_lang/adequacy.v
+ 1
− 1
View file @ cd9d4a5b
From iris.program_logic Require Export weakestpre adequacy gen_heap.
From iris.program_logic Require Export weakestpre adequacy.
From iris.heap_lang Require Export lifting.
From iris.algebra Require Import auth.
From iris.heap_lang Require Import proofmode notation.
......
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