X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=others%2Ftutorial%2Fiotpolicy%2FHomeRoom%2Froomsmart.req;fp=others%2Ftutorial%2Fiotpolicy%2FHomeRoom%2Froomsmart.req;h=71de3c9bc7143b7597a6aaf177fb51048bb2886d;hb=c237c320de0460665d2adf13fc24034398a2d9c9;hp=0000000000000000000000000000000000000000;hpb=da6d0d112a9658557ea500805ba0dc2c4c51cde4;p=iot2.git

diff --git a/others/tutorial/iotpolicy/HomeRoom/roomsmart.req b/others/tutorial/iotpolicy/HomeRoom/roomsmart.req
new file mode 100644
index 0000000..71de3c9
--- /dev/null
+++ b/others/tutorial/iotpolicy/HomeRoom/roomsmart.req
@@ -0,0 +1,3 @@
+
+requires Room with Basic as interface RoomSmart;
+