Fix bug in libdomain/domain_cap_hash()
authorRazvan Damachi <razvan.damachi@gmail.com>
Sun, 20 Aug 2017 18:18:49 +0000 (20:18 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 31 Aug 2017 14:35:09 +0000 (16:35 +0200)
commitecf0b8e81ec285f7711916a694bbba51d909f141
tree3dad456e59551c81f59aa3e6cd4592e53d272727
parent626764cf36dd89a98ee4a2f45cc613c48b010dfd
Fix bug in libdomain/domain_cap_hash()

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>
include/barrelfish_kpi/types.h
lib/barrelfish/domain.c