Remove unused type declaration.
This commit is contained in:
parent
1e797805df
commit
1ae9154c52
|
@ -44,8 +44,6 @@ type env = {
|
|||
names: N2DB.env;
|
||||
}
|
||||
|
||||
type _datatype_env = (unit, debruijn_type) Datatype.Env.t
|
||||
|
||||
let empty =
|
||||
{ types = TermVarMap.empty; names = N2DB.empty }
|
||||
|
||||
|
|
Loading…
Reference in New Issue