2 files changed, 1 insertions, 1 deletions
diff --git a/cparser/GCC.mli b/cparser/GCC.mli
index 0163c98e..5b2ddbba 100644
--- a/cparser/GCC.mli
+++ b/cparser/GCC.mli
@@ -16,5 +16,4 @@
 
 (* GCC built-ins and attributes *)
 
-val builtins: Builtins.t
 val attributes: (string * Cutil.attribute_class) list
diff --git a/dune b/dune
new file mode 100644
index 00000000..9d7272fc
--- /dev/null
+++ b/dune
@@ -0,0 +1 @@
+(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction)