diff --git a/dios/include/stdbool.h b/divine/cc/stdbool.h
similarity index 100%
rename from dios/include/stdbool.h
rename to divine/cc/stdbool.h