adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

misc: remove redundant skip_proofs flag for BaseRefine in proof/ROOT

This commit is contained in:
Joel Beeren 2017-08-09 11:25:54 +10:00
parent 2ce1bf3a25
commit 0685280906
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/ROOT
View File

@ -50,8 +50,6 @@ session BaseRefine2 = BaseRefine +
session BaseRefine = AInvs +
description {* Background theory and libraries for refinement proof. *}
theories [condition = "SKIP_AINVS_PROOFS", quick_and_dirty, skip_proofs]
"refine/$L4V_ARCH/Include"
theories
"refine/$L4V_ARCH/Include"