From 5ecb3dbea73db457935032eddc9f26cc13bf4485 Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Tue, 25 Jun 2019 09:26:48 +0000
Subject: [PATCH] CC: Make stdbool.h a compiler-provided header.

---
 {dios/include => divine/cc}/stdbool.h | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {dios/include => divine/cc}/stdbool.h (100%)

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
-- 
GitLab