--- a/src/HOL/TLA/Memory/ProcedureInterface.thy	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/TLA/Memory/ProcedureInterface.thy	Fri Aug 18 20:47:47 2017 +0200
@@ -5,7 +5,7 @@
 section \<open>Procedure interface for RPC-Memory components\<close>
 
 theory ProcedureInterface
-imports "../TLA" RPCMemoryParams
+imports "HOL-TLA.TLA" RPCMemoryParams
 begin
 
 typedecl ('a,'r) chan