diff options
Diffstat (limited to 'src/Core/Declarative.idr')
| -rw-r--r-- | src/Core/Declarative.idr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Core/Declarative.idr b/src/Core/Declarative.idr index 8efda89..4a27923 100644 --- a/src/Core/Declarative.idr +++ b/src/Core/Declarative.idr @@ -27,9 +27,9 @@ data EnvWf where EnvWf [<] (:<) : EnvWf env -> - TypeWf env a -> + TypeWf env (wkn a thin) -> --- - EnvWf (env :< a) + EnvWf (Add env thin a) data TypeWf where SetType : |