T238: fix renaming mistake
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 25 May 2016 11:00:24 +0000 (13:00 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 25 May 2016 11:00:24 +0000 (13:00 +0200)
commit674da5c802109a6d7b2b942843ff3c667d511c7e
treef802cc2fa10f765a0e8deb2f8626ec8648f7ad17
parent2746d7b36b19d3be7fbcd771f87f55856ccbdd3c
T238: fix renaming mistake

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish_kpi/capabilities.h