[seL4] Is this path wrong?

4 Oct 2014

diff --git a/lib/WPTutorial.thy b/lib/WPTutorial.thy
index f6ecd0a..cd0d992 100644

--- a/lib/WPTutorial.thy
+++ b/lib/WPTutorial.thy
@@ -9,7 +9,7 @@
  *)
theory WPTutorial
-imports Bits_R
+imports "../proof/refine/Bits_R"
 begin
text {*

    