diff options
Diffstat (limited to 'compiler/ReorderDecls.ml')
| -rw-r--r-- | compiler/ReorderDecls.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ReorderDecls.ml b/compiler/ReorderDecls.ml index 4f02eb81..9e15da4e 100644 --- a/compiler/ReorderDecls.ml +++ b/compiler/ReorderDecls.ml @@ -8,7 +8,7 @@ let log = Logging.reorder_decls_log type fun_id = { def_id : FunDeclId.id; - lp_id : V.LoopId.id option; + lp_id : LoopId.id option; rg_id : T.RegionGroupId.id option; } [@@deriving show, ord] |