diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-24 14:09:12 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-24 14:09:12 +0200 |
| commit | 596cf585ea8dc278d88e0652dffbacbc75de04c6 (patch) | |
| tree | 147bad178f15a7e7a91d847f39d501ecc1051821 /macros/src/codegen.rs | |
| parent | 4e51bb68b976c6bb6a9a989dc560d2a8123a84ca (diff) | |
Monotonic trait is safe; add MultiCore trait
Diffstat (limited to 'macros/src/codegen.rs')
| -rw-r--r-- | macros/src/codegen.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs index 9276626..a351599 100644 --- a/macros/src/codegen.rs +++ b/macros/src/codegen.rs @@ -32,7 +32,7 @@ pub fn app(app: &App, analysis: &Analysis, extra: &Extra) -> TokenStream2 { // generate a `main` function for each core for core in 0..app.args.cores { - let assertion_stmts = assertions::codegen(core, analysis); + let assertion_stmts = assertions::codegen(core, analysis, extra); let (const_app_pre_init, pre_init_stmts) = pre_init::codegen(core, &app, analysis, extra); |