diff options
Diffstat (limited to 'source/Checking/Module.hs')
| -rw-r--r-- | source/Checking/Module.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/source/Checking/Module.hs b/source/Checking/Module.hs index 453059a..d0e1d52 100644 --- a/source/Checking/Module.hs +++ b/source/Checking/Module.hs @@ -678,7 +678,8 @@ data TypedModuleResult data PlannedTypedDeclaration = PlannedBinding - !(Declaration.PlannedDeclaration (Maybe ObjectId)) + !(Declaration.PlannedDeclaration + Exact.CheckedExactBindingAuthorization) | PlannedSourceAxiom !(Declaration.PlannedDeclaration ()) | PlannedInductive |