From 7cd7212e7273c9c137e4bb1825d2b9f3842c882d Mon Sep 17 00:00:00 2001
From: Bjoern Brandenburg <bbb@mpi-sws.org>
Date: Wed, 16 May 2012 19:10:50 +0200
Subject: C++: move shared RW locking defs into own file

Part of refactoring sharedres.cpp.
---
 native/src/sharedres.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'native/src/sharedres.cpp')

diff --git a/native/src/sharedres.cpp b/native/src/sharedres.cpp
index 00d7932..a91bfdf 100644
--- a/native/src/sharedres.cpp
+++ b/native/src/sharedres.cpp
@@ -428,6 +428,8 @@ Interference np_fifo_per_resource(
 					  &tsk);
 }
 
+#include "rw-blocking.h"
+
 void merge_rw_requests(const TaskInfo &tsk, RWCounts &counts)
 {
 	foreach(tsk.get_requests(), req)
-- 
cgit v1.2.2