diff options
Diffstat (limited to 'src/cjr_env.sml')
-rw-r--r-- | src/cjr_env.sml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/cjr_env.sml b/src/cjr_env.sml index 482b93f6..0859abe5 100644 --- a/src/cjr_env.sml +++ b/src/cjr_env.sml @@ -48,7 +48,7 @@ type env = { structs : (string * typ) list IM.map } -val empty = { +val empty : env = { datatypes = IM.empty, constructors = IM.empty, @@ -56,7 +56,7 @@ val empty = { relE = [], namedE = IM.empty, - structs = IM.empty + structs = IM.insert (IM.empty, 0, []) } fun pushDatatype (env : env) x n xncs = |