This commit is contained in:
J.Teeuwissen 2023-01-04 13:34:31 +01:00
parent 6c95bc1fb9
commit 6ec977bf1c
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
6 changed files with 8 additions and 6 deletions

View file

@ -1,6 +1,6 @@
#![allow(clippy::manual_map)]
use crate::ir::{CallType, Expr, JoinPointId, Param, Stmt};
use crate::ir::{CallType, Expr, JoinPointId, Ownership, Param, Stmt};
use crate::layout::{LambdaName, Layout};
use bumpalo::collections::Vec;
use bumpalo::Bump;