diff options
-rw-r--r-- | cparser/GCC.mli | 1 | ||||
-rw-r--r-- | dune | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/cparser/GCC.mli b/cparser/GCC.mli index f26d12df..174e5754 100644 --- a/cparser/GCC.mli +++ b/cparser/GCC.mli @@ -15,5 +15,4 @@ (* GCC built-ins and attributes *) -val builtins: Builtins.t val attributes: (string * Cutil.attribute_class) list @@ -0,0 +1 @@ +(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction) |