hamlet: user_cap_predicates.c: only include static_assert.h and barrelfish_kpi/capabilities.h instead of barrelfish/barrelfish.h
>
> let compiledCode = (compile $! (userbackend $! ast))
> fileC <- openFile filenameUserCode WriteMode
-> hPutStrLn fileC "#include <barrelfish/barrelfish.h>"
+> hPutStrLn fileC "#include <barrelfish/static_assert.h>"
+> hPutStrLn fileC "#include <barrelfish_kpi/capabilities.h>"
> hPutStrLn fileC "#include <barrelfish_kpi/capbits.h>"
> hPutStrLn fileC "#include <barrelfish/cap_predicates.h>"
> hPutStrLn fileC $! show $ compiledCode {declarations = [],
