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 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 @@ -0,0 +1 @@ +(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction) |