From 9514b9f5e51c7233c9b841783e7862a456cbe391 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Sun, 29 Mar 2020 11:08:40 +0800
Subject: [PATCH] crefine: lib is a session dir for CBaseRefine

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
---
 proof/ROOT | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/proof/ROOT b/proof/ROOT
index 947d1b571..9569f27e5 100644
--- a/proof/ROOT
+++ b/proof/ROOT
@@ -111,6 +111,8 @@ session CBaseRefine in "crefine" = CSpec +
     CLib
     Refine
     AutoCorres
+  directories
+    "lib"
   theories [condition = "SKIP_DUPLICATED_PROOFS", quick_and_dirty, skip_proofs]
     (* crefine/lib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
     "lib/L4VerifiedLinks"