Skip to content
Snippets Groups Projects
Commit 332fc48d authored by Hai Dang's avatar Hai Dang
Browse files

bug

parent ac71fcd9
Branches prog_bug
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
theories/opt/foo.v
+ 1
− 1
View file @ 332fc48d
From stbor.lang Require Import defs.
From stbor.lang Require Import defs steps_inversion.
From stbor.sim Require Import local invariant.
Definition sim_body := sim_local_body wsat vrel_expr.
......
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