aboutsummaryrefslogtreecommitdiff
path: root/macros/src/codegen.rs
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2019-06-24 14:09:12 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2019-06-24 14:09:12 +0200
commit596cf585ea8dc278d88e0652dffbacbc75de04c6 (patch)
tree147bad178f15a7e7a91d847f39d501ecc1051821 /macros/src/codegen.rs
parent4e51bb68b976c6bb6a9a989dc560d2a8123a84ca (diff)
downloadrtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.tar.gz
rtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.tar.zst
rtic-596cf585ea8dc278d88e0652dffbacbc75de04c6.zip
Monotonic trait is safe; add MultiCore trait
Diffstat (limited to 'macros/src/codegen.rs')
-rw-r--r--macros/src/codegen.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/src/codegen.rs b/macros/src/codegen.rs
index 92766260..a3515994 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);