From 15f606af71e6358ba256bc0287a9fc0207f17fd2 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Sat, 30 Jun 2018 16:20:11 +0200
Subject: [PATCH] proof: bring ROOT comment up to date with AutoCorres_C move

---
 proof/ROOT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proof/ROOT b/proof/ROOT
index f95f478dc..a5be64a09 100644
--- a/proof/ROOT
+++ b/proof/ROOT
@@ -101,7 +101,7 @@ session CBaseRefine = CSpec +
     Refine
     AutoCorres
   theories [condition = "SKIP_DUPLICATED_PROOFS", quick_and_dirty, skip_proofs]
-    (* ../lib/clib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
+    (* crefine/lib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
     "crefine/lib/L4VerifiedLinks"
     "crefine/$L4V_ARCH/Include_C"
   theories