diff options
Diffstat (limited to 'driver')
-rwxr-xr-x | driver/Driver.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/Driver.ml b/driver/Driver.ml index 3219b7b7..9d5ed3b3 100755 --- a/driver/Driver.ml +++ b/driver/Driver.ml @@ -540,6 +540,7 @@ let _ = | _ -> assert false end; Builtins.set C2C.builtins; + Cutil.declare_attributes C2C.attributes; CPragmas.initialize(); parse_cmdline cmdline_actions; DebugInit.init (); (* Initialize the debug functions *) |