Merge pull request #11 from fatmaf/lamaconv

Update oracle.py

Author: AngeloFerrando

oracle/LamaConvOracle/oracle.py

@@ -83,7 +83,7 @@ def message_received(self,client, server, message):
 message_dict['verdict'] = 'true'
 elif self.check_event(message) is False:
 message_dict['verdict'] = 'false'
-message_dict['spec'] = property.PROPERTY
+message_dict['spec'] = self.property.PROPERTY
 else:
 message_dict['verdict'] = 'unkonwn'
 server.send_message(client, json.dumps(message_dict))