Commit 8d719154 authored by marton bognar's avatar marton bognar
Browse files

Fix a newly introduced bug

parent a657a7d2
......@@ -126,7 +126,7 @@ wellFormed (namespaces, sorts, _, _)
helpWellFormedVariables ctors instances
= let inhNames = [name | INH name _ <- instances]
in mapM_
(\ctor -> subsetOfOrError [cname ctor] inhNames "Namespace is not an inherited namespace")
(\ctor -> subsetOfOrError [cinst ctor] inhNames "Namespace is not an inherited namespace")
[MkVarConstructor n i | MkVarConstructor n i <- ctors]
--get the sorts used in all constructors of the sort
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment