Commit 4e8725f3 authored by Robbert Krebbers's avatar Robbert Krebbers

Add saved_props to _CoqProject.

parent f68afa2f
......@@ -66,6 +66,7 @@ program_logic/hoare.v
program_logic/language.v
program_logic/tests.v
program_logic/ghost_ownership.v
program_logic/saved_prop.v
program_logic/auth.v
program_logic/sts.v
heap_lang/heap_lang.v
......
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