diff options
Diffstat (limited to 'cparser/GCC.mli')
-rw-r--r-- | cparser/GCC.mli | 1 |
1 files changed, 0 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 |